An introduction to functional programming through lambda calculusby Greg MichaelsonWriting a summary for young readers…For young readersBook data: Open Library