Ibarra, O., Paun G., Rodríguez-Patón A., Sosik P., & Woodworth S.  (2006).??Normal Forms for Spiking Neural P Systems.  Fourth Brainstorming Week on Membrane Computing . II, 105-135.