S. I. Hyder John Werth James C. Browne A Unified Model for Concurrent Debugging. 58-67 1993 ICPP db/conf/icpp/icpp1993-2.html#HyderWB93