Kaufmann, Matt Moore, J. S. <br/><br/>
An Industrial Strength Theorem Prover  for  a Logic Based on Common lisp 

 - 203-213 p. 
<br/><br/><label>Subjects--Topical Terms: </label><br/> Formal Verification<br/>Automatic Testing<br/>Computations