R. K. Arora N. K. Sharma A methodology to solve distributed termination problem - A short note. 37-39 1983 8 Inf. Syst. 1 db/journals/is/is8.html#AroraS83