U. Lechner, C. Lengauer, und 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, Seite 351--367. London, UK, Springer-Verlag, (1995)
M. Cengarle, und A. Knapp. 3rd Intl. Workshop on Critical Systems Development with UML (CSDUML '04, Proceedings)., Seite 85--99. Technische Universität München, (2004)