Gray, James ``Toward a Mathematical Foundation for Information Flow
Security,'' Proc. 1991 IEEE Symposium on Security and Privacy, IEEE
Press, 1991.
<P>