Text this: Pascal iso/afnor; programmation déductive et description de la norme.