Mossakowski, T., Haxthausen, A. E., Sannella, D., & Tarlecki, A. (2012). CASL - The Common Algebraic Specification Language: Semantics and Proof Theory. Computing and Informatics, 22(3-4), 285–321. Retrieved from http://147.213.75.17/ojs/index.php/cai/article/view/458