The Role of the High Level Specification in Programming by Transformation: Specification and Transformation by Parts. - Susan Mary Merritt (1982)