Publication

@techreport{abc,
	author = {Timothy Roscoe},
	title = {The structure of a multi-service operating system},
	year = {1995}
}