(1953). Les méthodes formelles en axiomatique: Paris, décembre 1950. CNRS.
Chicago-Zitierstil (17. Ausg.)Les Méthodes Formelles En Axiomatique: Paris, Décembre 1950. Paris: CNRS, 1953.
MLA-Zitierstil (9. Ausg.)Les Méthodes Formelles En Axiomatique: Paris, Décembre 1950. CNRS, 1953.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.