Rakesh Agrawal Linda G. DeMichiel Bruce G. Lindsay 0001 Static Type Checking of Multi-Methods. 113-128 1991 conf/oopsla/1991 OOPSLA db/conf/oopsla/oopsla91.html#AgrawalDL91 http://doi.acm.org/10.1145/117954.117963