Pan, L., & Paun G.  (2010).??Spiking Neural P Systems: An improved normal form.  Theoretical Computer Science. 411(6),?906-918.