Verification of complex systems using incremental operational specifications. - William E. Howden; David Nesbitt; Cheron Vail; Bruce Wieand (Inf. Sci., 1991)

QDA-A Method for Systematic Informal Program Analysis. - William E. Howden; Bruce Wieand (IEEE Trans. Software Eng., 1994)