1. — "Computer Algebra". Ed. by B. Buchberger et al., 2nd edit. Springer-Verlag, Wien (1983).
2. — J. Calmet and D. Lugiez, "Software Engineering Aspects of a Mathematical Knowledge-Based System". LIFIA report (1986).
3. — R.D. Jenks, "A Primer: 11 Keys to New Scratchpad". Springer Verlag INCS 174, pp 123–147, (1984).
4. — M. Bergman, "Algebraic specifications: a constructive methodology in logic programming". Springer Verlag INCS 72, pp 91–100, (1982).
5. — P. Martin-Löf, "An Intuitionistic Theory of Types". Proc. Logic Coll. 1973, Ed. by H.E. Rose et al., North-Holland, Amsterdam, pp 22–29, (1975).