1. M. Abadi, L. Lamport, The existence of refinement mappings. Theor. Comput. Sci. 82(2), 253–284 (1991). doi:10.1016/0304-3975(91)90224-P.
http://dx.doi.org/10.1016/0304-3975(91)90224-P
2. M. Abadi, L. Lamport, Composing specifications. ACM Trans. Program. Lang. Syst. 15(1), 73–132 (1993). doi:10.1145/151646.151649.
http://doi.acm.org/10.1145/151646.151649
. Also in Stepwise Refinement of Distributed Systems, LNCS 430, Springer-Velag, 1990
3. R. johan Back, J.V. Wright, Contracts, games, and refinement. Inf. Comput. Control 156, 25–45 (2000). doi:10.1006/inco.1999.2820
4. R.J.R. Back, F. Kurki-Suonio, Distributed cooperation with action systems. ACM Trans. Program. Lang. Syst. 10(4), 513–554 (1988). doi:10.1145/48022.48023.
http://doi.acm.org/10.1145/48022.48023
5. R.J.R. Back, R. Kurki-Suonio, Decentralization of process nets with centralized control, In: Proceedings of the Second Annual ACM Symposium on Principles of Distributed Computing, PODC ’83. (ACM, New York, 1983), pp. 131–142. doi:10.1145/800221.806716.
http://doi.acm.org/10.1145/800221.806716