Publication

@article{abc,
	author = {Adrian Sch{\"u}pbach and Andrew Baumann and Timothy Roscoe and Simon Peter},
	journal = {ACM Trans. Comput. Syst.},
	title = {A Declarative Language Approach to Device Configuration.},
	url = {http://doi.acm.org/10.1145/2110356.2110361},
	year = {2012}
}