@TechReport{ hickscompspec09,
	title = "Specifications for the uTC compiler prototype v1.0",
	author = "T. Bernard and M. A. Hicks and S. Polstra and R. Poss",
	institution = "University of Amsterdam",
	month = "March",
	year = "2009"
}