L. Schröder, T. Mossakowski, P. Hoffman, B. Klin, and A. Tarlecki. Fundamental Approaches to Software Engineering, volume 2029 of Lecture Notes in Computer Science, page 253--268. Springer; Berlin; http://www.springer.de, (2001)
L. Schröder, T. Mossakowski, and A. Tarlecki. International Colloquium on Automata, Languages and Programming (ICALP 2001), volume 2076 of Lecture Notes in Computer Science, page 993-1004. Springer; Berlin; http://www.springer.de, (2001)
T. Mossakowski, A. Haxthausen, D. Sannella, and A. Tarlecki. Logics of formal specification languages, volume 22 of Monographs in Theoretical Computer Science, chapter 3, Springer-Verlag Heidelberg, (2008)