TY - BOOK AU - Tisserant,A. TI - Pascal iso/afnor; programmation déductive et description de la norme SN - 2040157042 PY - 1986/// CY - Paris PB - Dunod Informatique ER -