Rippling Meta-Level Guidance for Mathematical Reasoning. Cambridge Tracts in Theoretical Computer Science, No. 56by Alan Bundy, David Basin, Dieter Hutter, Andrew IrelandWriting a summary for young readers…For young readersBook data: Open Library