A Formal Approach to the Specification of Graphic Object Functions | Publicación