Title: Protocol specification, testing and verification XIV
First published: 1995
Subjects: Computer network protocols