Amorim, Ricardo, DEI-FEUP e INESC TEC, Universidade do Porto