Pascal ISO/AFNOR: programmation déductive et description de la norme. - Tisserant, A. (Paris : Dunod Informatique, 1986)