Assertional checking and symbolic execution: An effective combination for debugging. - J. Mack Adams; James Armstrong; Melissa Smartt (ACM Annual Conference, 1979)

Diagnostic algorithms and clinical diagnostic thinking. - Joseph M. Tonkonogy; James Armstrong (CBMS, 1988)

The VHDL Validation Suite. - James Armstrong; Chang Cho; Sandeep Shah; Chakravarthy Kosaraju (DAC, 1990)

Specification and Verification of Reactive System Behaviour: The Railroad Crossing Example. - James Armstrong; Leonor Barroca 001 (Real Time Syst., 1996)

An Experimental Study of Social and Psychological Aspects of Teleworking: The Implications for Tele-Education. - Dave J. Hobbs; James Armstrong (WebNet, 1998)