Footnotes

 

(1)

BRICS, Dept. of Computer Science, University of Aarhus, Ny Munkegade bldg. 540, DK-8000 Aarhus C, Denmark  

(2)

This spelling seems preferable.  

(3)

Standard specifications of Booleans and numbers will be provided in libraries.  

(4)

This is left as an exercise for the reader.  

(5)

The use of inequalities in conditions in CafeOBJ actually seems to go beyond this restriction, but this is not a major point.  

(6)

The design and institution-independent semantics of structured specifications in CASL have a `strongly-algebraic flavour' also in the sense of universal algebra.  

(7)

The CASL versions have not yet been checked by tools.