Constructing Submodule Specifications and Network Protocols. - Deepinder P. Sidhu; Juan Aristizabal (IEEE Trans. Software Eng., 1988)