Definitional interpreters for higher-order programming languages (1972)

by J C Reynolds
Venue:Proceedings of 25th ACM national conference