Guijun Wang Allen L. Ambler Invocation Polymorphism. 83-90 1995 VL http://computer.org/proceedings/vl/7045/70450083abs.htm db/conf/vl/vl95.html#WangA95