Functional and Logic Programmingby Michael Hanus, Atsushi IgarashiMathematicsWriting a summary for young readers…For young readersBook data: Open Library