Abstraction mechanisms in the Beta programming language. Information and Control (1983)

by B B Kristensen, O L Madsen, B Moller-Pedersen, K Nygaard