Protocol specifications and component adapters (1997)

by D Yellin, R Strom
Venue:ACM Trans. Programming Languages and Systems