Source
Simon (1973), LIT-1634, §§3–5 (pp. 187–200); read in NOTE-1232. What the paper argues is THEORY-1084, which this entry extends.
Why it is Proposed
No system of this design is built or run in the paper. Whether the thesis holds needs such a system to perform on ill structured problems about as well as one given the full specification, or to fail on them at any memory size while a different mechanism succeeds.