On research in structured programming. - Lawrence Flon (ACM SIGPLAN Notices, 1975)

Towards the Construction of Verifiable Software Systems. - Lawrence Flon; A. Nico Habermann (Conference on Data: Abstraction, Definition and Structure, 1976)

Modularization and Hierarchy in a Family of Operating Systems. - A. Nico Habermann; Lawrence Flon; Lee W. Cooprider (Commun. ACM, 1976)

Nondeterminism and the Correctness of Parallel Programs. - Lawrence Flon; Norihisa Suzuki (Formal Description of Programming Concepts, 1977)

Consistent and Complete Proof Rules for the Total Correctness of Parallel Programs - Lawrence Flon; Norihisa Suzuki (FOCS, 1978)

A fundamental computer science course that unifies theory and practice. - Lawrence Flon; Paul N. Hilfinger; Mary Shaw; William A. Wulf (SIGCSE/CSA, 1978)

The Total Correctness of Parallel Programs. - Lawrence Flon; Norihisa Suzuki (SIAM J. Comput., 1981)