U. Lechner, C. Lengauer, и M. Wirsing. Selected papers from the 10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop on Recent Trends in Data Type Specification, 906, стр. 351--367. London, UK, Springer-Verlag, (1995)
A. Wąsowski. LCTES '04: Proceedings of the 2004 ACM SIGPLAN/SIGBED conference on Languages, compilers, and tools for embedded systems, 39, стр. 257--266. New York, NY, USA, ACM Press, (июля 2004)
M. Cengarle, и A. Knapp. 3rd Intl. Workshop on Critical Systems Development with UML (CSDUML '04, Proceedings)., стр. 85--99. Technische Universität München, (2004)
Y. Yu, Y. Wang, J. Mylopoulos, S. Liaskos, A. Lapouchnian, и J. Leite. RE '05: Proceedings of the 13th IEEE International Conference on Requirements Engineering (RE'05), стр. 363--372. Washington, DC, USA, IEEE Computer Society, (2005)
M. van Kempen, M. Chaudron, D. Kourie, и A. Boake. SAICSIT '05: Proceedings of the 2005 annual research conference of the South African institute of computer scientists and information technologists on IT research in developing countries, стр. 252--259. , Republic of South Africa, South African Institute for Computer Scientists and Information Technologists, (2005)