Meta interpreters for real (1986)

by S Safra, E Shapiro
Venue:Information Processing 86