Sémantique logique et dénotationnelle des interpréteurs PROLOG Jean-Paul Delahaye (1988) RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Simple equational specifications of rational arithmetic. Moss, Lawrence S. (2001) Discrete Mathematics and Theoretical Computer Science. DMTCS [electronic only]
Some properties of decomposition ordering, a simplification ordering to prove termination of rewriting systems Pierre Lescanne (1982) RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications