H. Paul Lin. Modeling a transport layer protocol using first-order logic. In Proceedings of the ACM SIGCOMM conference on Communications architectures & protocols, 1986, Stowe, Vermont, United States August 5-7, 1986. pages 92-100, ACM, 1986. [doi]
Abstract is missing.