Validating a Demonstration Tool for Graphics-Assisted Debugging of Ada Concurrent Programs. - Michael B. Feldman; Melinda L. Moran (IEEE Trans. Software Eng., 1989)