Jonathan Billington Bing Han Formalising TCP's Data Transfer Service Language: A Symbolic Automaton and its Properties. 49-74 2007 80 Fundam. Inform. 1-3 http://iospress.metapress.com/content/y355798111x46w14/ db/journals/fuin/fuin80.html#BillingtonH07