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