Behavior protocols for software components. (2002)

by F Plasil, S Visnovsky
Venue:IEEE Trans. Software Eng.