Eddie Kohler M. Frans Kaashoek David R. Montgomery A Readable TCP in the Prolac Protocol Language. 3-13 1999 SIGCOMM http://doi.acm.org/10.1145/316188.316200 db/conf/sigcomm/sigcomm1999.html#KohlerKM99