Gail Anderson;Paul Anderson
-;-
Protection imperfect: the security of some computing environments
ACM SIGOPS Operating Systems Review
CSPL: An Ada95-Like, Unix-Based Process Environment
IEEE Transactions on Software Engineering