Qualified types : theory and practice - Jones, Mark P. (Cambridge : Cambridge University Press, 1994)
Includes bibliographical references (p. 148-154)
Keywords: Abstract data types (computer science).