1. D. Bert. Refinement of generic specifications with algebraic tools. In: IFIP Congress, North-Holland (1983).
2. Bowen and R.A. Kowalski. Amalgamating language and meta-language in logic programming. In: Logic programming (Clark and Tarnlund, Eds.), Academic Press (1982).
3. B. Buchberger. History and basic features of the critical-pair/completion approach. In: Proc. 1st Conf. on Rewriting Techniques and Applications, Springer-Verlag, LNCS 202 (1985).
4. R.M. Burstall, D.B. Macqueen, and D.T. Sannella. HOPE: an experimental applicative language. CSR-62-80, University of Edinburgh (1981).
5. K.L. Clark and S.A. Tarnlund (Eds.). Logic programming. Academic Press (1982).