Nepomuceno, Á., & Pérez-Jiménez M. J.  (2012).??Programas Moleculares y Sistemas Lógico-formales.  Theoretical Computer Science. 5, 77-89.