Abramsky, S, Gabbay, Dov M and Mainaum, T. S. E. <br/><br/>
Handbook of logic in computer science 
Abramsky, S, Gabbay, Dov M and Mainaum, T. S. E. 
 -  Clarendon  2003