with Eisenstadt, , 1998, 'Human and machine interpretation of expressions in formal systems', Synthese 116 (3), -.
with Zytkow, J. M. , 1988a, 'Normative systems of discovery and logic of search', Synthese 74 (1), 65-90.