Pérez-Jiménez, M. J.  (2009).??Métodos formales en Computación Bio-inspirada.  (O. Pombo, Ángel Nepomuceno, Ed.).Lógica e Filosofía da Ciencia.  185-212.