1. R-J.R. Back, “A Calculus of Refinements for Program Derivations”, Acta Informatica, 25, 593–624, 1988.
2. R-J.R. Back & R. Kurki-Suonio, “Decentralization of process nets with centralized control”, Proc 2nd Annual Symposium on Principles of Distributed Computing, Montreal, 1983.
3. E.W. Dijkstra, A Discipline of Programming, Prentice-Hall International, 1976.
4. He Jifeng, “Process refinement”, in The Theory and Practice of Refinement, J. McDermid (ed), Butterworths, 1989a.
5. —, “Specification and design of transaction processing system with various interfaces”, Procs REX Workshop on the Design of Distributed Systems, 1989b.