Axel Wabenhorst Stepwise development of fair distributed systems. 233-271 2003 39 Acta Inf. 4 http://dx.doi.org/10.1007/s00236-002-0103-6 db/journals/acta/acta39.html#Wabenhorst03