Visual Languages For Interactive Computing Definitions And Formalizations 2007