Reasoning about concurrent systems: a functional approach - Abramsky, S (Academic Press, 1984)