Logique de la programmation : sur les ensembles électroniques - Thüring, B. (Dunod, 1963)