Huth, Michael <br/><br/>
Logic in computer science  Modelling and reasoning about systems / 

 - 2nd ed. 
 -  Cambridge Univeristy Press ,  2004. 
 - 427 p. 
<br/><br/><label>ISBN: </label>052154310x 
<br/><br/><label>Subjects--Index Terms: </label>Computer Science Ethics