Formalizing graphical notations. - William Godwin (1998)