Formal specification of visual languages. - Gee, David M. (Information & Software Technology, 1998)