Edsger W. Dijkstra Carel S. Scholten Termination Detection for Diffusing Computations. 1-4 1980 11 Inf. Process. Lett. 1 db/journals/ipl/ipl11.html#DijkstraS80