Behavior protocols for software components (2002)

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