De nitional interpreters for higher-order programming languages (1972)

by J C Reynolds
Venue:In Proceedings of the Annual ACM Conference