Verifying programs which operate on data structures. - Mark S. Laventhal (Reliable Software, 1975)

A methodology for the development of reliable synchronization software. - Mark S. Laventhal (COMPSAC, 1979)

Architecture and compiler enhancements for PA-RISC workstations. - Daryl Odnert; Robert Hansen; Manoj Dadoo; Mark S. Laventhal (Compcon, 1991)