Predicate calculus and program semanticsby Edsger Wybe DijkstraPredicate calculusProgramming languages (Electronic computers)SemanticsWriting a summary for young readers…For young readersBook data: Open Library