Fairness and the axioms of control predicates - Francez, Nissim; Katz, Shmuel (1987)