@book{213312,
	author = {Grimm, Christoph.},
	title = {Languages for system specification : (E-BOOK)},
	publisher = {Kluwer Academic,},
	year = {2004.},
	address = {Boston, Mass. ;}
}