Paun, G., Pérez-Jiménez M. J., & Sancho-Caparrini F.  (2002).??On the Reachability Problem for P System with Porters.  10th International Conference on Automata and Formal Languages.  1-3.