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