Qualified types: Theory and practice. (1994)

by M P Jones