Breakpoints and Halting in Distributed Programs - Miller, Barton P; Choi, Jong-Deok (University of Wisconsin-Madison Department of Computer Sciences, 1986)