Scott N. Gerard
IBM Corporation, Rochester, MN
Empiric: a sketch of a programming language designed to facilitate a fine grain of protection
ACM SIGPLAN Notices
Compiler Construction
MODULA-2: A Software Development Approach
Programming in Modula-2