Tisserant, A. <br/><br/>
Pascal iso/afnor; programmation déductive et description de la norme. 

 - Paris :  Dunod Informatique,  1986. 
 - 177 p. 
<br/><br/><label>ISBN: </label>2040157042