Yuan, W., Zhang G., Pérez-Jiménez M. J., Wang T., & Huang Z.  (2016).??P systems based computing polynomials: design and formal verification.  Natural Computing. 15(4),?591?596.