Structures ordonees et algebres de Boole - Faure, Robert, 1919- (Collection "Programmation", 1971)