Computation and Logic in the Real World: CiE 2007 | Publicación