Formal program development in extended ML for the working programmerby Donald SannellaWriting a summary for young readers…For young readersBook data: Open Library