Mossakowski, T. (2012) “CASL - The Common Algebraic Specification Language: Semantics and Proof Theory”, COMPUTING AND INFORMATICS, 22(3-4), pp. 285–321. Available at: https://www.cai.sk/ojs/index.php/cai/article/view/458 (Accessed: 28 April 2024).