A language extension mechanism for controlling access to shared data (1976)

by A K JONES, B H LISKOV
Venue:in Proc. 2nd Int. Conf. Software Engineering