Rewriting Techniques and Applications Bordeaux, France, May 25-27, 1987. Proceedings Lescanne Pierre Heftet / 1987 / Engelsk
Algebraic and Logic Programming International Workshop, Gaussig, GDR, November 14-18, 1988. Proceedings Grabowski Jan Heftet / 1989 / Engelsk
Algebraic and Logic Programming Proceedings of an International Workshop held in Gaussig (GDR), November 14–18, 1988 Grabowski Jan Innbundet / 1989 / Engelsk
Algebraic System Specification and Development A Survey and Annotated Bibliography Bidoit Michel Heftet / 1991 / Engelsk
