Carl A. Sunshine: Protocol Specification, Testing and Verification - Guest Editorial. Comput. Networks 6(6): 375-376 (1982)