Title: Portuguese Journal of Computer Science, 7