Debugging distributed computations in a nested atomic action system - Chiu, Sheng Yang (Mass. Inst. of Technology, Laboratoy for Computer Science, 1984)