On attaining reliable software for a secure operating system. - Lawrence Robinson; Karl N. Levitt; Peter G. Neumann; Ashok R. Saxena (Reliable Software, 1975)

Specification techniques. - Lawrence Robinson (DAC, 1976)

Software Development and Proofs of Multi-Level Security. - Peter G. Neumann; Richard J. Feiertag; Karl N. Levitt; Lawrence Robinson (ICSE, 1976)

Proving Multilevel Security of a System Design. - Richard J. Feiertag; Karl N. Levitt; Lawrence Robinson (SOSP, 1977)

Proof Techniques for Hierarchically Structured Programs. - Lawrence Robinson; Karl N. Levitt (Commun. ACM, 1977)

Formalism can help you (Abstract of presentation). - Lawrence Robinson (AFIPS National Computer Conference, 1978)

An Example of Hierarchical Design and Proof. - Jay M. Spitzen; Karl N. Levitt; Lawrence Robinson (Commun. ACM, 1978)

Writing Simulatable Specifications in SPECIAL. - Karl N. Levitt; Lawrence Robinson; Brad A. Silverberg (The Use of Formal Specification of Software, 1979)