@book{317884,
	author = {Mukund, Madhavan. and ProQuest (Firm)},
	title = {Formal models, languages and applications},
	publisher = {World Scientific,},
	year = {c2006.},
	series = {Series in machine perception and artificial intelligence ;},
	address = {Singapore ;},
	url = {https://ebookcentral.proquest.com/lib/kuct-ebooks/detail.action?docID=1679482}
}