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