@misc{930, author = {Greg Nordstrom and Akos Ledeczi}, title = {Formalizing the Specification of Graphical Modeling Languages}, year = {2000}, journal = {ISIS-00-200}, publisher = {Institute for Software Integrated Systems}, language = {eng}, }