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)
Y. Wang, J. Talpin, A. Benveniste, and P. Guernic. Object-Oriented Real-Time Distributed Computing, 2000. (ISORC 2000) Proceedings. Third IEEE International Symposium on, page 96--103. (2000)