A lattice model of secure information flow
High-level binding with low-level linkers
A study of line overhead in the Arpanet
The denotational semantics of programming languages
Computer-aided analysis and design of information systems
Designing surfaces in 3-D