%0 Generic %D 2009 %T Métodos formales en Computación Bio-inspirada %A Mario J. Pérez-Jiménez %E O. Pombo %E Ángel Nepomuceno %C Lisboa %P 185-212 %S Colecçao Documenta 2