Pérez-Jiménez, A. J., Pérez-Jiménez M. J., & Sancho-Caparrini F.  (2003).??Formal verification of a transition P system generating the set 2^n+n^2+n:n>=1.  (Matteo Cavaliere, Carlos Martín-Vide, Gheorghe Paun, Ed.).First Brainstorming Week on Membrane Computing.  261-269.