Bauer, Friedrich L <br/><br/>
Logic and algebra of specification 

 - Berlin  Springer-Verlag  1993 
 - 442 p. 
<br/><br/><label>Dewey Class. No.: </label>515.3 B326L