Michael Norrish, Peter Sewell, Keith Wansbrough. Rigour is good for you ::::and:::: feasible: reflections on formal treatments of C and UDP sockets. In Gilles Muller, Eric Jul, editors, Proceedings of the 10th ACM SIGOPS European Workshop, Saint-Emilion, France, July 1, 2002. pages 49-53, ACM, 2002. [doi]
Abstract is missing.