K. V. de Souza e T. P. P. Padilha, “Práticas de apoio no ensino de lógica aplicada à computação”, ENID, out. 2026.