Using an Abstract Model for the Formal Specification of Interactive Graphic Systems | Publicación