Topological composition systems: specifications for lexical elements of visual languages | IEEE Conference Publication | IEEE Xplore