Logique de la programmation sur les ensembles électroniques — Bruno Thüring