Formal Models of Computation by A.C. Fleck