Automatic annotation of tasks in structured code. - Pedro Ramos; Gleison Souza Diniz Mendonca; Divino Soares; Guido Araújo; Fernando Magno Quintão Pereira (PACT, 2018)