1. “LOTOS - A formal description technique based on the temporal ordering of observational behavior”, ISO, DIS 8807, 1987.
2. “Communication Sequential Processes”;Hoare;Comm ACM,1978
3. “Fairness”;Francez,1986
4. Kuiper R, de Roever WP, “Fairness assumptions for CSP in a temporal logic framework”, In Bjorner D (ed) Proceeding of TC.2 Working Conference on the Formal Description of Programming Concepts, Garmisch Partenkirchen, North Holland, 1983.
5. “A fair calculus of communicating systems”;Costa;Acta Informatica,1984