Current Topics in Artificial Intelligence - Meseguer, Pedro (Springer Berlin Heidelberg, 2010)