The most notable books by Nick Gevers, populated from OpenLibrary.