T. Mossakowski, A. E. Haxthausen, D. Sannella, and A. Tarlecki, “CASL - The Common Algebraic Specification Language: Semantics and Proof Theory”, Comput. Inform., vol. 22, no. 3-4, pp. 285–321, Feb. 2012.