Bing Swen Object-Oriented Programming with Induction. 61-67 2000 35 SIGPLAN Notices 2 db/journals/sigplan/sigplan35.html#Swen00