Bounding Component Behavior via Protocols. - Frantisek Plásil; Milos Besta; Stanislav Visnovsky (TOOLS (30), 1999)

Behavior Protocols for Software Components. - Frantisek Plásil; Stanislav Visnovsky (IEEE Trans. Software Eng., 2002)