1. Algebraic Specification,1989
2. ASSPEGIQUE: an integrated environment for algebraic specifications;Bidoit,1985
3. An introduction to OBJ-3;Goguen,1988
4. Computations in nonambiguous linear term rewriting systems;Huet,1979
5. Proc. 1st Internat. Workshop on Conditional Term Rewriting Systems,1988