[Denning76] Denning, D. E., A Lattice Model of Secure Information Flow, Communications of the ACM, vol. 19, no. 5 (May 1976), pp. 236-243. [This paper introduces the lattice as a structure for analyzing information flow in computer systems.]