@conference {3744,
	title = {Formalizing the Specification of Graphical Modeling Languages},
	booktitle = {Proceedings of the IEEE Aerospace 2000 Conference},
	year = {2000},
	note = {CD-ROM Reference 10.0402},
	month = {March},
	address = {Big Sky, MT},
	attachments = {https://archive.isis.vanderbilt.edu/sites/default/files/Nordstrom_GG_3_0_2000_Formalizin.pdf},
	author = {Nordstrom, Greg}
}
