Deepinder P. Sidhu Carole S. Crall Executable Logic Specifications for Protocol Service Interfaces. 98-121 http://www.computer.org/tse/ts1988/e0098abs.htm 1988 14 IEEE Trans. Software Eng. 1 db/journals/tse/tse14.html#SidhuC88