Edsger W. Dijkstra W. H. J. Feijen A. J. M. van Gasteren Derivation of a Termination Detection Algorithm for Distributed Computations. 217-219 1983 16 Inf. Process. Lett. 5 db/journals/ipl/ipl16.html#DijkstraFG83