An abstract view of objects and subtyping (1992)

by M Hofmann, B Pierce