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