1. 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 Lecture Notes in Computer Science, pages 42–66. Springer-Verlag, 1990.
2. R. J.R. Back. Refinement calculus, lattices and higher order logic. In M. Broy, editor, Program Design Calculi, volume 118 of Nato ASI Series, Series F, pages 53–72. Springer-Verlag, 1993.
3. R.-J.R. Back and R. Kurki-Suonio. Decentralization of process nets with centralized control. In 2nd ACM SIGACT-SIGOPS Symp. on Distributed Computing, pages 131–142. ACM, 1983.
4. volume A-56 of IFIP Transactions;R.J.R. Back,1994
5. K. Mani Chandy and Jayadev Misra. Parallel Program Design — A Foundation. Addison-Wesley Publishing Company, Inc., 1988.