V. Krukov and M. Kudryavtsev, “Automated debugging of parallel programs”, Num. Meth. Prog., vol. 7, no. 10, pp. 102–110, Nov. 2006.