Current Topics in Artificial Intelligence 13th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2009, Seville, Spain, November 9-13, 2009. Selected Papers - Meseguer, Pedro (Springer-Verlag Heidelberg, 2010)