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