1. P. Aczel, A semantic universe for fairness, preliminary Draft, 1996.
2. Equivalences for fair kripke structures;Aziz,1994
3. Category Theory for Computing Science;Barr,1990
4. Presheaf models for concurrency;Cattani,1997
5. Presheaf models for the pi-calculu;Cattani,1997