Chrzastowski-Wachtel, P. Generalizations of Liveness and Fairness Properties. DPB 1985, 14.