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