Interfaces: Explorations in Logic, Language and Computation ESSLLI 2008 and ESSLLI 2009 Student Sessions. Selected Papers - Icard, Thomas (Springer-Verlag Berlin Heidelberg, 2010)