Handbook of model checking / 

 - 1210 p. 
<br/><br/><label>Dewey Class. No.: </label>4.21  / HAN