T. Mossakowski, L. Schröder, и S. Goncharov. Fundamental Approaches to Software Engineering (FASE 2008), том 4961 из Lecture Notes in Computer Science, стр. 199-214. Springer, (2008)
S. Goncharov, L. Schröder, и T. Mossakowski. Mathematical Foundations of Computer Science, том 4162 из Lecture Notes in Computer Science, стр. 447-458. Springer; Berlin; http://www.springer.de, (2006)