K.: Abstraction mechanisms in the beta programming language (1983)

by B B Kristensen, O L Madsen, B Møller-Pedersen, Nygaard
Venue:In: Proceedings of the 10th ACM SIGACT-SIGPLAN symposium on Principles of programming languages. POPL ’83