Behavior Protocols for Software Components (2002)

by Frantisek Plasil, Stanislav Visnovsky
Venue:IEEE Transactions on Software Engineering