Institutions for navigational logics for graphical structures | Publicación