Software Verification Techniques. - Vin Ratford; Mike Gill (ITC, 1984)

Integrating Guided Probe and Fault Dictionary: An Enhanced Diagnostic Approach. - Vin Ratford; Paul Keating (ITC, 1986)