Rakesh Agrawal Linda G. DeMichiel Bruce G. Lindsay Static Type Checking of Multi-Methods. 113-128 1991 OOPSLA db/conf/oopsla/oopsla91.html#AgrawalDL91