Generalizing Turing's Machine and Arguments SiegWilfried ByrnesJohn 1994 Wilfred Sieg and John Byrnes. Generalizing Turing's Machine and Arguments.