Human and Machine Interpretation of Expressions in Formal Systems Herbert A. SimonStuart A. Eisenstadt OriginalPaper Pages: 439 - 461