@article{SAC-PL-J-2011-ViroliBU13,
	author        = "Mirko Viroli and Jacob Beal and Kyle Usbeck",
	doi           = "10.1016/j.scico.2012.12.003",
	journal       = "{Science of Computer Programming}",
	number        = 6,
	pages         = "633--656",
	title         = "{Operational semantics of proto}",
	volume        = 78,
	year          = 2013,
}