García-Quismondo, M., Martínez-del-Amor M. A., & Pérez-Jiménez M. J.  (2014).??Probabilistic Guarded P Systems, A formal Definition.  Twelfth Brainstorming Week on Membrane Computing (BWMC2014).  183-206.