CASL

The Common Algebraic Specification Language