John Alan Robinson Logic, Computers, Turing, and von Neumann. 1-35 1994 Machine Intelligence 13 db/conf/mi/mi1994.html#Robinson94