Tierless Programming and Reasoning for Software-Defined Networks. - Tim Nelson; Andrew D. Ferguson; Michael J. G. Scheer; Shriram Krishnamurthi (NSDI, 2014)