Title: Protocol specification, testing, and verification III
First published: 1983
Subjects: Computer network protocols
LC classification: TK5105.5