Detecting Termination of Distributed Computations By External Agents. - Shing-Tsaan Huang; Pei-Wen Kao (J. Inf. Sci. Eng., 1991)