Nunes, Isabel, E Schiel, Ulrich. " Utilização de Grafo de Alcançabilidade para a verificação de Design Instrucional bem formado " Anais do Workshop de Desafios da Computação aplicada à Educação (DesafIE!) [Online], (23 julho 2013)