Alan Turing Centenary 2012: Turing's Real Machines: Michael R. Williams, University of Calgary