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