A fixpoint approach to finite delay and fairness
scientific article; zbMATH DE number 1190299
scientific article