The most notable books by André van der Hoek, populated from OpenLibrary.