@book{42093,
	author = {Villar, Eugenio. and ebrary, Inc.},
	title = {System specification & design languages},
	publisher = {Kluwer Academic Publishers,},
	year = {c2003.},
	series = {The ChDL series},
	address = {Boston :},
	url = {http://site.ebrary.com/lib/rucke/Doc?id=10069610}
}