@article {3743,
	title = {Formalizing the Specification of Graphical Modeling Languages},
	year = {2000},
	institution = {Institute for Software Integrated Systems},
	attachments = {https://archive.isis.vanderbilt.edu/sites/default/files/Nordstrom_GG_0_0_2000_Formalizin.pdf},
	author = {Nordstrom, Greg and Ledeczi, Akos}
}
