BooksemmMonographpp. 257–454Formal geometryDownload Chapter PDFA subscription is required to access this book chapter.