Craig Chambers Gary T. Leavens Typechecking and Modules for Multi-Methods. 1-15 1994 OOPSLA db/conf/oopsla/oopsla94.html#ChambersL94