@book{120113,
	author = {Mukund, Madhavan. and ebrary, Inc.},
	title = {Formal models, languages and applications},
	publisher = {World Scientific,},
	year = {c2006.},
	series = {Series in machine perception and artificial intelligence ;},
	address = {Singapore ;},
	url = {http://site.ebrary.com/lib/rucke/Doc?id=10201404}
}