A Behavioral Notion of Subtyping \Delta 31 (1991)

by G T Leavens
Venue:IEEE Software