Checking amalgamability conditions for CASL architectural specifications
B. Klin, P. Hoffman, A. Tarlecki, L. Schröder, and T. Mossakowski. Mathematical Foundations of Computer Science, volume 2136 of Lecture Notes in Computer Science, page 512--523. Springer; Berlin; http://www.springer.de, (2001)