DUALITY: A Simple Formalism for the Analysis of UNITY. - Rutger M. Dijkstra (Formal Aspects Comput., 1995)

An Experiment With the Use of Predicate Transformers in UNITY. - Rutger M. Dijkstra (Inf. Process. Lett., 1995)

"Everywhere" in Predicate Algebra and Modal Logic. - Rutger M. Dijkstra (Inf. Process. Lett., 1996)

A Predicate Transformer for the Progress Property 'To-Always'. - Rutger M. Dijkstra; Beverly A. Sanders (Formal Aspects Comput., 1997)

Computation Calculus - Bridging a Formalization Gap. - Rutger M. Dijkstra (MPC, 1998)