13,252 followers
Naraschewski, W., Wenzel, M.: Object-oriented verification based on record subtyping in higher-order logic. In: Grundy, J., Newey M. (Eds.) TPHOLs 1998, LNCS, vol. 1479, pp. 349–366. Springer (1998). doi: https://t.co/wgOtfCZkhF @larryellison @oraclepartne