An algebraic theory of fair asynchronous communicating processes - Hennessy, Matthew C. (1984)