Mossakowski, T.; Haxthausen, A. E.; Sannella, D.; Tarlecki, A. CASL - The Common Algebraic Specification Language: Semantics and Proof Theory. Comput. Inform. 2012, 22, 285-321.