Anomaly Detection in Concurrent Programs. - William E. Riddle; G. Bristow; C. Drey; B. Edwards (ICSE, 1979)