1. Correctness Preserving Program Refinements: Proof Theory and Applications;Back,1980
2. A calculus of refinements for program derivations;Back;Acta Informatica,1988
3. 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. Proceedings. 1989, volume 430 of Lecture Notes in Computer Science, pages 67–93. Springer–Verlag, 1990.
4. R. J. R. Back and R. Kurki-Suonio. Decentralization of process nets with centralized control. In Proc. of the 2nd ACM SIGACT–SIGOPS Symp. on Principles of Distributed Computing, pages 131–142, 1983.
5. R. J. R. Back and K. Sere. Deriving an occam implementation of action systems. In Proc. of the 3rd Refinement Workshop BCS FACS/IBM UK Laboratories/Oxford University, Hursley Park, England, January 1990. (to appear).