Rewriting, Computation and Proofby Hubert Comon-Lundh, Claude Kirchner, Hélène KirchnerWriting a summary for young readers…For young readersBook data: Open Library