Elements of network protocol design - Gouda (John Wiley & Sons, 1998)