1. M. Abadi and L. Lamport. The existence of refinement mappings. In Proc. of the 3rd IEEE Conference on Logic in Computer Science, pages 165–175, 1988.
2. R. J. R. Back. Changing data representation in the refinement calculus. In 21st Hawaii International Conference on System Sciences, 1989.
3. R. J. R. Back. A method for refining atomicity in parallel algorithms. In PARLE89, pages 199–16, 1989.
4. R. J. R. Back. Refinement calculus, part ii: Parallel and reactive programs. In J. W. de Bakker, W. P. de Roever, and G. Rozenberg, editors, Stepwise Refinement of Distributed Systems: Models, Formalisms, Correctness, volume 430 of LNCS, pages 67–93, 1990.
5. R. J. R. Back and R. Kurki-Suonio. Superposition and fairness in action system refinement. Unpublished Manuscript, 1991.