Publication

@article{abc,
	author = {Pierre-{\'E}variste Dagand and Andrew Baumann and Timothy Roscoe},
	journal = {Operating Systems Review},
	title = {Filet-o-fish: practical and dependable domain-specific languages for OS development.},
	url = {http://doi.acm.org/10.1145/1713254.1713263},
	year = {2009}
}