Qualified types : theory and practice /
Jones, Mark P.
Cambridge : Cambridge University Press,
1994.