Pascal iso/afnor; programmation déductive et description de la norme. - Tisserant, A. (Dunod Informatique, 1986)