Reduction semantics for rational schemes K. Indermark RAIRO. Inform. théor., 18 3 (1984) 209-223 Published online: 01 February 2017 DOI: 10.1051/ita/1984180302091