Charles Wells;Michael Barr
-;-
A sketch-based technique for the derivation of self-interpreters
Computer Languages