“LÓGICA TEMPORAL PARA VERIFICAÇÃO DE PROGRAMAS”. Encontros Universitários Da UFC, vol. 4, nº 2, janeiro de 2019, p. 1642, https://periodicos.ufc.br/eu/article/view/59400.