Adam Biltcliffe, Michael Dales, Sam Jansen, Tom Ridge, Peter Sewell. Rigorous Protocol Design in Practice: An Optical Packet-Switch MAC in HOL. In Proceedings of the 14th IEEE International Conference on Network Protocols, ICNP 2006, November 12-15, 2006, Santa Barbara, California, USA. pages 117-126, IEEE Computer Society, 2006. [doi]