Quirk W. J. <br/><br/>
Verification And Validat 

 - New York  Springer-Verlag  1985 
 - "xi, 245" 
<br/><br/><label>ISBN: </label>3540151028 
<br/><br/><label>Dewey Class. No.: </label>1  / 64404