Pérez-Jiménez, M. J., & Sancho-Caparrini F.  (2002).??A Formalization of Transition P Systems.  Fundamenta Informaticae. 49(1-3),?261-272.