Reduction semantics for rational schemesK. IndermarkRAIRO. Inform. théor., 18 3 (1984) 209-223DOI: https://doi.org/10.1051/ita/1984180302091
