Behavior protocols for software components (2002)

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