Nihar R. Mahapatra, Shantanu Dutt: An efficient delay-optimal distributed termination detection algorithm. J. Parallel Distributed Comput. 67(10): 1047-1066 (2007)