Nunes, Isabel, and Ulrich Schiel.
" Utilização de Grafo de Alcançabilidade para a verificação de Design Instrucional bem formado ." <em>Proceedings of the 2nd Challenges of Computing applied to Education Workshop,
Maceió, 2013</em>. SBC, 2013,  
pp.1396-1405.