Daniel P. Friedman1944BooksLittle ProverReasoned Schemer, Second EditionScheme and the Art of ProgrammingThe reasoned schemerThe little LISPerLittle LearnerEssentials of programming languagesThe seasoned schemerThe Little SchemerThe Reasoned SchemerThe Little TyperLe petit LISPienEssentials of programming languagesAuthor data: Open Library