Using the IIPS Framework to Specify Machine-Discovery Problems. - Howard J. Hamilton; J. Michael Dyck (ICCI, 1992)

Language Design For Program Manipulation. - Eduardus A. T. Merks; J. Michael Dyck; Robert D. Cameron (IEEE Trans. Software Eng., 1992)