Before revision: References Further reading
After revision: Dennis Volpano, Cynthia Irvine, and Geoffrey Smith, A Sound Type System for Secure Flow Analysis, Journal of Computer Security, 4(2), 1996.References Further reading