Calculatrices digitales du déchiffrage de formules logico-mathématiques par la machine même dans la conception du programme. Diss. Nr. 2186 math. ETH. Zürich 1954 — Corrado Böhm