Feijs, L. M. G. <br/><br/>
Formal Specification and Design / 
L. M. G. Feijs, H. B. M. Jonkers. 
 - Cambridge :  University Press,  1992. 
 - XVI, 335 s. ;  24 cm. 
<br/><br/><label>ISBN: </label>0521435927 
<br/><br/><label>Uniwersalna Klasyfikacja Dziesiętna: </label> 004.4