Freund, R., Pérez-Hurtado, I., Riscos Núñez, A., & Verlan, S. (2013). A formalization of membrane szstems with dynamically evolving structures. International Journal of Computer Mathematics, 90(4), 801–815. https://doi.org/10.1080/00207160.2012.748899