Software validation and verification - a state of the art report(Panel Discussion). - Terry A. Straeter; Carlo Broglio; Marilyn Fujii; Leon G. Stucki; Sabina H. Saib; David C. Luckham (ACM Annual Conference (2), 1978)