The most notable books by John Fultz, populated from OpenLibrary.