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

by W Naraschewski, M Wenzel
Venue:In Theorem Proving in Higher Order Logics, LNCS 1479