P. Chrzastowski-Wachtel, “Generalizations of Liveness and Fairness Properties”, DPB, vol. 14, no. 194, Aug. 1985.