Investigadores do INESC TEC publicam livro