Fickas, Stephen F. "Automating the Transformational Development of Software"

(1985) IEEE Transactions on Software Engineering, November 1985  

Languages mentioned Gist {1977} Specification language Paddle {1982} Transformation language Transforma {1985} Trnsformation language