Gadducci, Fabio and Lluch-Lafuente, Alberto and Vandin, Andrea  A Lewisian approach to the verification of adaptive systems.  Rivista Italiana di Filosofia Analitica Junior , 2 (2).   ISSN 2037-4445      (2011)