A Transformation-Directed Compiling System. - R. H. Pierce; J. Rowell (Comput. J., 1977)