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.