Interfaces: Explorations in Logic, Language and Computation : ESSLLI 2008 and ESSLLI 2009 Student Sessions, Selected Papers - Thomas Icard, Reinhard Muskens ((Lecture Notes in Computer Science))