Isabel Nunes and Ulrich Schiel. 2013. Utilização de Grafo de Alcançabilidade para a verificação de Design Instrucional bem formado . In Proceedings of the 2nd Challenges of Computing applied to Education Workshop, July 23, 2013, Maceió, Brasil. SBC, Porto Alegre, Brasil, 1396-1405.