Nunes, I., & 		Schiel, U.
(2013).
 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>, (pp. 1396-1405). Porto Alegre: SBC.