Executable Logic Specifications for Protocol Service Interfaces. - Deepinder P. Sidhu; Carole S. Crall (IEEE Trans. Software Eng., 1988)