Gurdip Singh Constraint-based Structuring of Network Protocols. 1-12 1999 12 Distributed Computing 1 http://link.springer.de/link/service/journals/00446/bibs/9012001/90120001.htm db/journals/dc/dc12.html#Singh99