References

 [BT97]

Michel Bidoit and Andrzej Tarlecki. Signature morphisms with compound identifiers in CASL. CoFI Note: S-2. WWW, FTP, 1997.

 [CMKB⁺96]

Maura Cerioli, Till Mossakowski, Bernd Krieg-Brückner, Anne Haxthausen, Peter D. Mosses, and Olaf Owe. Subsorting in CASL. CoFI Language Design Study Note: MC++-1. WWW, FTP, 1996.