Elod KnuthBooksComputer-Aided Specification TechniquesVisual Database Systems, IIAuthor data: Open Library