Zhang, G., Zhu M., Yang Q., Rong H., Yuan W., & Pérez-Jiménez M. J.  (2017).??P systems based computing polynomials with integer coefficients: Design and formal verification.  Asian Conference on Membrane Computing (ACMC 2017).  416-443.