Ernesto Costa is Professor Emeritus at the Department of Informatics Engineering of the University of Coimbra. He received a 3rd Cycle Thesis in Computing Science from the University Pierre et Mari…