Paun, G., & Pérez-Jiménez M. J.  (2012).??P automata revised.  Theoretical Computer Science.