Gérard Boudol Ilaria Castellani Matthew Hennessy Astrid Kiehn Observing Localities (Extended Abstract). 93-102 1991 MFCS db/conf/mfcs/mfcs91.html#BoudolCHK91 http://dx.doi.org/10.1007/3-540-54345-7_52