Author: Symposium on Computers and Automata New York 1971.