G. HuetBooksLogic, Algebra, and ComputationPour une politique rizicole nouvelleConstruction, amélioration et vérification de programmesAuthor data: Open Library