Class re nement and interface re nement in object-oriented programs (1997)

by A Mikhajlova, E Sekerinski
Venue:FME'97: Industrial Applications and Strengthened Foundations of Formal Methods