Object-oriented verification based on record subtyping in higher-order logic (1998)

by Wolfgang Naraschewski, Markus Wenzel
Venue:In Theorem Proving in Higher Order Logics, TPHOLs’98, volume 1479 of LNCS