 Post's formulation was the first of its type to be published; it preceded Turing's by a matter of a few months.Both descriptions—Post's, and Boolos and Jeffrey's — use simpler 4-tuples rather than 5-tuples to define the 'm-configurations' (instructions) of their processes.This model was suggested by Stone (1972)