Fairness and the axioms of control predicates - Francez, Nissim; Katz, Shmuel (haṭ- Ṭeḵniyyôn, Māḵôn Ṭeḵnôlôgî le-Yiśrā'ēl <Ḥêfā> / Department of Computer Science: Technical report, 1987)