Formal specification of software systems has become more and more important, especially in safetycritical areas where one cannot take the risk of malfunction. Casl, the Common Algebraic Specification Language, is a standard for axiomatic specification of conventional software; and several extensions of Casl deal with temporal, reactive, higher-order etc. aspects. That is, we are faced with a mu...