Proprietes Church-Rosser de systemes de reecriture equationnels ayant la propriete de terminaison faible. - H. Perdrix (STACS, 1984)

From an ERAE Requirements Specification to a PLUSS Algebraic Specificatiaon: A Case Study. - Anne Mauboussin; H. Perdrix; Michel Bidoit; Marie-Claude Gaudel; Jacques Hagelstein (Algebraic Methods, 1989)