Handbook of logic in computer science - Abramsky, S. (Clarendon Press, 1992)