1. Ten years of Hoare's logic, a survey—Part I;Apt;IOPLAS,1981
2. Proof rules and transformations dealing with fairness;Apt;Sci. Comput. Programming,1983
3. Countable nondeterminism and random assignment;Apt,1982
4. Fair termination revisited—with delay;Apt;Proc. 2nd Conf. on Foundations of Software Technology and Theoretical Computer Science,1982
5. Mathematical Theory of Program Correctness;De Bakker,1980