@book{69653,
	author = {Aceto, Luca},
	title = {Reactive systems :},
	publisher = {Cambridge University Press,},
	year = {2007},
	address = {Cambridge :}
}