current topics in artificial intelligence,13th conference of the spainish association for artificial intelligence, caepia 2009 seville, spain,

pedro (edt) meseguer · springer-verlag new york inc