A formalization of membrane systems with dynamically evolving structures | Publicación