Martin Hofmann Benjamin C. Pierce A Unifying Type-Theoretic Framework for Objects. 593-635 1995 5 J. Funct. Program. 4 db/journals/jfp/jfp5.html#HofmannP95 http://dx.doi.org/10.1017/S0956796800001490