Constructive Methods in Computing Scienceby F. L. Bauer, M. Broy, E. W. DijkstraWriting a summary for young readers…For young readersBook data: Open Library