Freund, R., Pérez-Hurtado I., Riscos-Núñez A., & Verlan S.  (2012).??A Formal Framework for P Systems with Dynamic Structure.  Tenth Brainstorming Week on Membrane Computing. I, 111-122.