A Universal Modular ACTOR Formalism for Artificial Intelligence
Definitional interpreters for higher-order programming languages