On the Size of Machines Manuel Blum 257-265 Information and Control September 1967 11 3 db/journals/iandc/iandc11.html#Blum67