SR-task grammars: a formal specification of human computer interaction for interactive visual languages | IEEE Conference Publication | IEEE Xplore