Transformations of Programs. - Allan Ballard; Dennis Tsichritzis (IFIP Congress (1), 1971)