A. Simons. Electronic Workshops in Computing: Rigorous Object-Oriented Methods 2000, series ed. C J van Rijsbergen, British Computer Society, 2000, page 8--1. (2000)
R. Eshuis, and R. Wieringa. Fourth International Conference on Formal methods for open object-based distributed systems IV, page 121--140. Norwell, MA, USA, Kluwer Academic Publishers, (2000)