The most notable books by Alan Hájek, populated from OpenLibrary.