Predicate Calculus and Program Semanticsby Edsger Wybe Dijkstra, Carel S. ScholtenWriting a summary for young readers…For young readersBook data: Open Library