Mechanizing a Programming Logic for the Concurrent Programming Language microSR in HOL. - Cui Zhang; Robert J. Shaw; Ronald A. Olsson; Karl N. Levitt; Myla Archer; Mark R. Heckman; Gregory D. Benson (HUG, 1993)

Addressing the Shortcomings of Traditional Formal Reasoning Methods for Concurrent Programs: New Tools and Techniques for Source Code Correctnes. - Robert J. Shaw; Ronald A. Olsson (PDPTA, 1996)

Addressing the Shortcomings of Traditional Formal Reasoning Methods for Concurrent Programs: New Tools and Techniques for Source Code Correctness. - Robert J. Shaw; Ronald A. Olsson (Inf. Sci., 1998)