Formal semantics of control in a completely visual programming language | IEEE Conference Publication | IEEE Xplore