On Transformations of Programs (Journal of Computer and System Sciences, 1974)

(untitled) - Bird, R