Gray, James ``Toward a Mathematical Foundation for Information Flow
Security,'' Journal of Computer Security, vol. 1, no. 3-4 1992. 
<P>