1. University of Cambridge: Network Semantics

a. TCP, UDP, and Sockets: rigorous and experimentally-validated behavioral specification - Volume 1: Overview

b. TCP, UDP, and Sockets: rigorous and experimentally-validated behavioral specification - Volume 2: The Specification

c. TCP, UDP, and Sockets - Volume 3: Service-level Specification

2. X