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