Theoretical Aspects of Computing : 7th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010, Proceedings - Ana Cavalcanti, David Deharbe, Marie-Claude Gaudel, Jim Woodcock ((Lecture Notes in Computer Science))