Antonio L. Furtado Analogy by generalization - and the quest of the grail. 105-113 1992 27 SIGPLAN Notices 1 http://doi.acm.org/10.1145/130722.130741 db/journals/sigplan/sigplan27.html#Furtado92