@inproceedings{LDTA-2010-BrandMSH,
	author        = "Mark van den Brand and Arjan P. van der Meer and Alexander Serebrenik and Albert T. Hofkamp",
	booktitle     = "{Proceedings of the 10th Workshop on Language Descriptions, Tools and Applications}",
	doi           = "10.1145/1868281.1868293",
	isbn          = "978-1-4503-0063-6",
	pages         = "12",
	publisher     = "{ACM}",
	title         = "{Formally specified type checkers for domain specific languages: experience report}",
	year          = 2010,
}