with Simon, H.A. , 1988, 'Normative systems of discovery and logic of search', Synthese 74 (1), 65-90.