Zhu, M., Zhang G., Yang Q., Rong H., Yuan W., & Pérez-Jiménez M. J.  (2018).??P systems based computing polynomials with integer coefficients: Design and formal verification.  IEEE Transactions on NanoBioscience.