1. Abadi, M. and Lamport, L. (1995) Conjoining Specifications. ACM Transactions on Programming Languages and Systems, 17(3):507–533, May.
2. Bonner, A.J. and Kifer, M. (1996) Concurrency and Communication in Transaction Logic, in Proc. Joint Int. Conf. and Symp. on Logic Programming (JICSLP96), Bonn, Germany (ed. Maher, M.). The MIT Press.
3. Caleiro, C. (1996) Personal communication.
4. Clavel, M. and Eker, S. and Lincoln, P. and Meseguer, J. (1996) Principles of Maude, in Rewriting Logic and its Applications, First International Work-shop, Asilomar Conference Center, Pacific Grove, Ca, September 3–6, 1996 (ed. Meseguer, J.), pages 65–89.
5. Denker, G. (1995) Transactions in Object-Oriented Specifications, in Recent Trends in Data Types Specification, Proc. 10th Workshop on Specification of Abstract Data Types joint with the 5th COMPASS Workshop, S.Margherita, Italy, May/June 1994, Selected papers (eds. Astesiano, E. and Reggio, G. and Tarlecki,A.), pages 203–218, Springer, Berlin, LNCS 906.