L. Schröder, T. Mossakowski, P. Hoffman, B. Klin, und A. Tarlecki. Fundamental Approaches to Software Engineering, Volume 2029 von Lecture Notes in Computer Science, Seite 253--268. Springer; Berlin; http://www.springer.de, (2001)
L. Schröder, T. Mossakowski, und A. Tarlecki. International Colloquium on Automata, Languages and Programming (ICALP 2001), Volume 2076 von Lecture Notes in Computer Science, Seite 993-1004. Springer; Berlin; http://www.springer.de, (2001)
B. Klin, P. Hoffman, A. Tarlecki, L. Schröder, und T. Mossakowski. Mathematical Foundations of Computer Science, Volume 2136 von Lecture Notes in Computer Science, Seite 512--523. Springer; Berlin; http://www.springer.de, (2001)