Jaeger, Manfred Programming Logics, MPI for Informatics, Max Planck Society;
Jaeger, M. (1999). Fairness, Computable Fairness and Randomness. In M. Kwiatkowska (Ed.), Proceedings of the 2nd International Workshop on Probabilistic Methods in Verification (PROBMIV-99) (pp. 57-66). Birmingham: School of Computer Science, University of Birmingham.