"Operational and Semantic Equivalence between Recursive Programs"

Jean-Claude Raoult, Jean Vuillemin (1978)
a service of Schloss Dagstuhl - Leibniz Center for Informatics