Tessier, A., & Ferrand, G. (1997). APPROCHE, EN TERMES DE SQUELETTES DE PREUVE, DE LA SEMANTIQUE ET DU DIAGNOSTIC DECLARATIF D'ERREUR DES PROGRAMMES LOGIQUES AVEC CONTRAINTES. [s.n.].
Trích dẫn kiểu Chicago (xuất bản lần thứ 7)Tessier, Alexandre, và Gérard Ferrand. APPROCHE, EN TERMES DE SQUELETTES DE PREUVE, DE LA SEMANTIQUE ET DU DIAGNOSTIC DECLARATIF D'ERREUR DES PROGRAMMES LOGIQUES AVEC CONTRAINTES. [S.l.]: [s.n.], 1997.
Trích dẫn kiểu MLA (xuất bản lần thứ 8)Tessier, Alexandre, và Gérard Ferrand. APPROCHE, EN TERMES DE SQUELETTES DE PREUVE, DE LA SEMANTIQUE ET DU DIAGNOSTIC DECLARATIF D'ERREUR DES PROGRAMMES LOGIQUES AVEC CONTRAINTES. [s.n.], 1997.
Cảnh báo: Các trích dẫn này có thể không phải lúc nào cũng chính xác 100%.