Protective interface specifications (1998)

by G T Leavens, J M Wing
Venue:Formal Aspects of Computing