Rational use of cognitive resources: levels of analysis between the computational and the algorithmic.
On Computable Numbers, with an Application to the Entscheidungsproblem.