Ibarra, O., Paun A., Paun G., Rodríguez-Patón A., Sosik P., & Woodworth S.  (2007).??Normal forms for spiking neural P systems.  Theoretical Computer Science. 372(2-3),?196-217.