Carl A. Sunshine, David H. Thompson, Roddy W. Erickson, Susan L. Gerhart, Daniel Schwabe. Correction to Specification and Verification of Communication Protocols in AFFIRM Using State Transition Models . IEEE Trans. Software Eng., 9(1):113, 1983.
Abstract is missing.