U. Lechner, C. Lengauer, and 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, page 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, page 257--266. New York, NY, USA, ACM Press, (July 2004)
M. Cengarle, and A. Knapp. 3rd Intl. Workshop on Critical Systems Development with UML (CSDUML '04, Proceedings)., page 85--99. Technische Universität München, (2004)
Y. Yu, Y. Wang, J. Mylopoulos, S. Liaskos, A. Lapouchnian, and J. Leite. RE '05: Proceedings of the 13th IEEE International Conference on Requirements Engineering (RE'05), page 363--372. Washington, DC, USA, IEEE Computer Society, (2005)
M. van Kempen, M. Chaudron, D. Kourie, and 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, page 252--259. , Republic of South Africa, South African Institute for Computer Scientists and Information Technologists, (2005)