Gordon Stewart: Computational Verification of Network Programs in Coq. CPP 2013: 33-49