M. Griffiths: Program production by successive transformation. Language Hierarchies and Interfaces 1975: 125-152