LATIN 2014: Theoretical Informatics | Publicación