Proof techniques in Membrane Computing | Publicación