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