Logic and functional programming by retractions : operational semantics M. Bellia RAIRO-Theor. Inf. Appl., 22 4 (1988) 395-436 Published online: 01 February 2017 DOI: 10.1051/ita/1988220403951