Chrzastowski-Wachtel, P. (1985). Generalizations of Liveness and Fairness Properties. DAIMI Report Series, 14(194). https://doi.org/10.7146/dpb.v14i194.7466