Alan Turing's automatic computing engine : - Copeland, B. Jack, 1950- (Oxford University Press, 2005)