Logique de la programmation sur les ensembles electroniques - Thuring, B. (Dunod, 1963)