Daniel J. Lehmann Amir Pnueli Jonathan Stavi Impartiality, Justice and Fairness: The Ethics of Concurrent Termination. 264-277 1981 conf/icalp/1981 ICALP db/conf/icalp/icalp81.html#LehmannPS81 http://dx.doi.org/10.1007/3-540-10843-2_22