Peter Naur Thinking and Turing's Test. 175-187 1986 26 BIT 2 db/journals/bit/bit26.html#Naur86