The most notable books by Petr Hrachovec, populated from OpenLibrary.