G. Lüttgen, M. von der Beeck, и R. Cleaveland. SIGSOFT '00/FSE-8: Proceedings of the 8th ACM SIGSOFT international symposium on Foundations of software engineering, 25, стр. 120--129. New York, NY, USA, ACM Press, (ноября 2000)
A. Simons. Electronic Workshops in Computing: Rigorous Object-Oriented Methods 2000, series ed. C J van Rijsbergen, British Computer Society, 2000, стр. 8--1. (2000)
M. Dias, и M. Vieira. IWSSD '00: Proceedings of the 10th International Workshop on Software Specification and Design, стр. 133--137. Washington, DC, USA, IEEE Computer Society, (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)
M. von der Beeck. FORTE/PSTV 2000: Proceedings of the FIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XIII) and Protocol Specification, Testing and Verification (PSTV XX), стр. 335--350. Deventer, The Netherlands, The Netherlands, Kluwer, B.V., (2000)