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