Distributed Termination with Interval Assertions. - N. Frances; Michael Rodeh; Michel Sintzoff (ICFPC, 1981)