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