Formalising Eiffel reference and expanded types in PVS (2003)

by R Paige, J Ostroff, P Brooke
Venue:In Proc. International Workshop on Aliasing, Confinement, and Ownership in Object-Oriented Programming