Henri Habrias Pascal André Précondition et invariant - l'écriture de contraintes mal adaptées à un paradigme de spécification. 387-403 2004 conf/inforsid/2004 INFORSID db/conf/inforsid/inforsid2004.html#HabriasA04