@inproceedings {186527,
	author = {Ian Unruh and Alexandru G. Bardas and Rui Zhuang and Xinming Ou and Scott A. DeLoach},
	title = {Compiling Abstract Specifications into Concrete {Systems{\textemdash}Bringing} Order to the Cloud},
	booktitle = {28th Large Installation System Administration Conference (LISA14)},
	year = {2014},
	isbn = {978-1-931971-17-1},
	address = {Seattle, WA},
	pages = {26--42},
	url = {https://www.usenix.org/conference/lisa14/conference-program/presentation/unruh},
	publisher = {USENIX Association},
	month = nov
}
