Techniques for Debugging Parallel Programs with Flowback AnalysisJong-Deok ChoiBarton P. Milleret al.1991ACM Transactions on Programming Languages and Systems (TOPLAS)