Essential concepts of algebraic specification and program development Donald SannellaAndrzej Tarlecki OriginalPaper Pages: 229 - 269
A predicate transformer for the progress property ‘to-always’ Rutger M. DijkstraBeverly A. Sanders OriginalPaper Pages: 270 - 282
Running programs backwards: The logical inversion of imperative computation Brian J. Ross OriginalPaper Pages: 331 - 348