Reduction semantics for rational schemes K. Indermark (1984) RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications