Handbook of logic in computer science - Abramsky, S.; Gabbay, Dov M.; Maibaum, T.S.E. (Clarendon Press, 1992)