The most notable books by Mike (EDT) Allen, populated from OpenLibrary.