Sandra L. Murphy, A. Udaya Shankar. A verified connection management protocol for the transport layer. Computer Communication Review, 17(5):110-125, 1987. [doi]
@article{MurphyS87,
title = {A verified connection management protocol for the transport layer},
author = {Sandra L. Murphy and A. Udaya Shankar},
year = {1987},
doi = {10.1145/55483.55495},
url = {http://doi.acm.org/10.1145/55483.55495},
tags = {protocol},
researchr = {https://researchr.org/publication/MurphyS87},
cites = {0},
citedby = {0},
journal = {Computer Communication Review},
volume = {17},
number = {5},
pages = {110-125},
}