Yuan, W., Zhang G., Pérez-Jiménez M. J., Wang T., & Huan Z.  (2015).??P systems based computing polynomials: Design and formal verification.  Asian Conference on Membrane Computing (ACMC 2015). 1, 1-9.