Mossakowski, T. et al. 2012. CASL - The Common Algebraic Specification Language: Semantics and Proof Theory. COMPUTING AND INFORMATICS. 22, 3-4 (Feb. 2012), 285–321.