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