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