Finding and using analogies to guide mathematical proof. - S. G. Owen (1987)