Logic and functional programming by retractions : operational semanticsM. BelliaRAIRO-Theor. Inf. Appl., 22 4 (1988) 395-436DOI: https://doi.org/10.1051/ita/1988220403951
