Gasteren, Derivation of a Termination Detection Algorithm for Distributed Computations, Information Processing Letters 16 (1983)

by E W Dijkstra, W H J Feijen, A J M