The most notable books by Michael Schmidt, populated from OpenLibrary.