Dear CoFI Friends, A revised version of the note M-4: Michel Bidoit, Don Sannella, and Andrzej Tarlecki. Architectural specifications in CASL. is available at: http://www.brics.dk/Projects/CoFI/Notes/M-4/index.html Best regards, Michel