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 https://www.cai.sk/ojs/index.php/cai/article/view/458