You are about to access our book library "Visual Languages for Interactive Computing: Definitions and Formalizations full version" .