Interfaces: Explorations in Logic, Language and Computation - Icard, Thomas (Springer Berlin Heidelberg, 2010)