[dicp-eufsc]