@inproceedings{Convergence2009,
	author = "Ralf L{\"a}mmel and Vadim Zaytsev",
	title = "{An Introduction to Grammar Convergence}",
	booktitle = "{Proceedings of the Seventh International Conference on Integrated Formal Methods (iFM 2009)}",
	year = 2009,
	editor = "Michael Leuschel and Heike Wehrheim",
	volume = "5423",
	series = "LNCS",
	pages = "246--260",
	month = feb,
	publisher = "Springer",
	doi = "10.1007/978-3-642-00255-7_17",
}