Jeffrey C. Mogul. Toward a Rigorous Data Type Model for HTTP. In Proceedings of HotOS-VIII: 8th Workshop on Hot Topics in Operating Systems, May 20-23, 2001, Elmau/Oberbayern, Germany. pages 176, IEEE Computer Society, 2001. [doi]
Abstract is missing.