Title: A reflective model for declarative languages
First published: 1987