Secure Extensible Languages, Design of. - R. P. McE. Morton (1975)