Definitional interpreters for higher order programming languages (1972)

by J Reynolds
Venue:ACM Conference Proceedings