L. Q. Jurgina, “Construção de um Laboratório de Lógica para Programação dedicado a Cursos de Graduação”, ComInG, vol. 5, nº 3, p. 119–124, nov. 2021.