@inproceedings{POPL-2014-AndersonFGJKSW,
	author        = "Carolyn Jane Anderson and Nate Foster and Arjun Guha and Jean-Baptiste Jeannin and Dexter Kozen and Cole Schlesinger and David Walker",
	booktitle     = "{Proceedings of the 41st Symposium on Principles of Programming Languages}",
	doi           = "10.1145/2535838.2535862",
	editor        = "Suresh Jagannathan and Peter Sewell",
	isbn          = "978-1-4503-2544-8",
	pages         = "113--126",
	publisher     = "{ACM}",
	title         = "{NetkAT: semantic foundations for networks}",
	year          = 2014,
}