Towards a Formalization of Programming-by-Difference.

Ian Maung, John Howse, Richard J. Mitchell

Browse the full FM paper archive.