Mark T. Keane
The Open Univ., Milton Keynes, UK
Automatic Derivation of Formal Software Specifications from Informal Descriptions
IEEE Transactions on Software Engineering
Book review: Metaphor & Knowledge Representation By Eileen Cornell Way (Kluwer, 1991) and Analogy for Automated Reasoning By Stephen Owen (Academic Press, 1990)
ACM SIGART Bulletin
Cognitive Processes of Opportunity Recognition: The Role of Structural Alignment
Organization Science