Nunes, Isabel, and Ulrich Schiel.
"Utilização de Grafo de Alcançabilidade para a verificação de Design Instrucional bem formado ." <em>Anais do II Workshop de Desafios da Computação aplicada à Educação,
Maceió, 2013</em>. SBC, 2013,  
pp.1396-1405.