Kuo-Chung Tai Richard H. Carver Evelyn E. Obaid Debugging Concurrent Ada Programs by Deterministic Execution. 45-63 http://www.computer.org/tse/ts1991/e0045abs.htm 1991 17 IEEE Trans. Software Eng. 1 db/journals/tse/tse17.html#TaiCO91