1. GE> (ASL) ["Structured AlGEbraic Specifications: A Kernel LanguaGE", M. Wirsing, Theor Comput Sci 42, pp.123-249, Elsevier 1986]. 2. GE> (ASF) A languaGE for equational specification of abstract data types. ["AlGEbraic Specification", J.A. Bergstra et al, A-W 1989]. (1995-12-13)