CASL - The Common Algebraic Specification Language: Semantics and Proof Theory
Till Mossakowski, Anne E. Haxthausen, Donald Sannella, Andrzej Tarlecki · 2003
CASL is an expressive specification language that has been designed to supersede many existing algebraic specification languages and provide a standard. CASL consists of several layers, including basic (unstructured) specifications, struc-