Qualified types theory and practice - Jones, Mark P. (Cambridge University Press, 1994)