1. R.Erickson, D.Thompson (eds.), AFFIRM Reference Manual, USC-ISI, Marina Del Rey (California), 1981.
2. M.Bidoit, F.Capy, C.Choppy, N.Choquet, C.Gresse, S.Kaplan, F.Schlienger, F.Voisin, ASSPRO: un environement de programmation interactif et intégré, to appear in T.S.I., 1986.
3. J.Aho, D.Ullmann, Principles of Compiler Design, Addison Wesley Publishing Co., 1977.
4. L. Augustsson, Compiling Pattern Matching, Proc. of the Conf. on Functional Programming Languages and Computer Architectures, LNCS 201 (1985).
5. J.Bergstra, J.Tucker, Algebraic Specifications of Computable and Semi-Computable Data Types, Report CS-R8619, CWI, Amsterdam (1986).