Freund, R., Pérez-Hurtado I., Riscos-Núñez A., & Verlan S.  (2013).??A formalization of membrane systems with dynamically evolving structures.  International Journal of Computer Mathematics. 90(4),?801-815.