Behavior Protocols for Software Components (2002)

by F Plasil, S Visnovsky
Venue:IEEE Transactions on Software Engineering