Volker Claus Ein Vollständigkeitssatz für Programme und Schaltkreise Acta Inf. 1 1971 64-78 db/journals/acta/acta1.html#Claus71