Chrzastowski-Wachtel, Piotr. “Generalizations of Liveness and Fairness Properties”. DAIMI Report Series 14, no. 194 (August 1, 1985). Accessed May 9, 2024. https://tidsskrift.dk/daimipb/article/view/7466.