Button, T; (2009) SAD Computers and Two Versions of the Church–Turing Thesis. The British Journal for the Philosophy of Science , 60 (4) pp. 765-792. 10.1093/bjps/axp038.