On program transformation with ALGOL 68 and FLEX. - R. D. Knott (1980)