1. Apt, K.R., Ten Years of Hoare's Logic, A Survey, Part I Fac. of Economics, Univ. of Rotterdam, Technical Report (to appear in TOPLAS), 1979
2. Apt, K.R. and Olderog, E.R., Proof Rules Dealing With Fairness Bericht Nr. uu, Inst. Inf. Prakt. Math., Univ. of Kiel (1981)
3. Back, R.J., Proving Total Correctness of Non-Deterministic Programs in Infinitary Logic, Computing Centre, Univ. of Helsinki, Research Report No. 9 (to appear in Acta Informatica), 1979
4. Back, R.J., Semantics of Unbounded Non-Determinism, in: Proc. 7th Colloquium Automata, Languages and Programming, Lecture Notes in Computer Science 85, Springer-Verlag, pp. 51–63, 1980
5. Boom, H.J., A Weaker Precondition for Loops Mathematisch Centrum Report IW 104/78, 1978