G. O'Shea
-
The Z notation: a reference manual
Protection in operating systems
Communications of the ACM
Protection
ACM SIGOPS Operating Systems Review