The universal turing machine a half-century survey (Oxford Univ. Press, 1988)