A Formal Approach to the Generation of Visual Language Environments Supporting Multiple Views | Publicación