The most notable books by Thomas E. Graedel, populated from OpenLibrary.