Transformations on Loop-Free Program Schemata - Nurit Bracha (1972)