A Study of Protection in Programming Languages. - Allen L. Ambler; Charles G. Hoch (Language Design for Reliable Software, 1977)