Gray, James ``On Information Flow Security Models,'' Proc. IEEE Computer Security Foundations Workshop IV, IEEE Press, 1991.