Mauri, G., Pérez-Jiménez M. J., & Zandron C.  (2007).??On a Paun's conjecture in membrane systems.  Lecture Notes in Computer Science. 4527, 180-192.