with Simon, H.A. (1998). Human and machine interpretation of expressions in formal systems. Synthese, 116 (3), -. https://doi.org/.