Logic of Programming and Calculi of Discrete Designby F. Bauer, M. Broy, Edsger Wybe Dijkstra, C.A.R. HoareWriting a summary for young readers…For young readersBook data: Open Library