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

by W Naraschewski, M Wenzel
Venue:Theorem Proving in Higher Order Logics: TPHOLs ’98, volume 1479 of Lecture Notes in Computer Science