Automatique algebre de boole : LOGIQUE COMBINATOIRE. TOME 1. - Degoulange, F. (Dunod, Paris, 1971)