The most notable books by Jochen Lempert, populated from OpenLibrary.