Toward a Rigorous Data Type Model for HTTP

HotOS (2001), pp. 176

Abstract