Footnotes

 

(1)

CoFI is pronounced like `coffee'.  

(2)

CASL is an acronym for CoFI Algebraic (or Axiomatic) Specification Language and is pronounced like `castle'.  

(3)

Formally, they are institution representations in the sense of [Mes89, Tar96]  

(4)

You can play around with it: http://www.informatik.uni-bremen.de/cgi-bin/casl2.cgi.  

(5)

Available at http://www.informatik.uni-bremen.de/~cofi/CASL/parser/parser.html.  

(6)

Available at http://www.informatik.uni-bremen.de/~cofi/CASL/.