Principles of protocol design - Sharp, Robin, 1942- (Prentice-Hall international series in computer science, 1994)