Developing a SARA building block - the 8080. - William T. Overman; Gerald Estrin (Design Automation and Microprocessors, 1977)

A multiprocessor description language. - William T. Overman; Stephen D. Crocker; Vittal Kini (AFIPS National Computer Conference, 1981)

Verification of Concurrent Systems: Function and Timing. - William T. Overman; Stephen D. Crocker (PSTV, 1982)