2008. Turing machine. The Reasoner. 2, 6 (Jun. 2008).