[Woodward79] J. P. L. Woodward, Applications for Multilevel Secure Operating Systems, AIFIPS, National Computer Conference, 319-328, 1979 []