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