3 works on record
Pour une politique rizicole nouvelle
1947
Construction, amélioration et vérification de programmes
Logic, Algebra, and Computation