R. Santos, T. Gomes, R. Azevedo, C. Soares Neto, and M. Teixeira. " Correção de Código Semi-Automática em Nested Context Language", in Proceedings of the 16th Brazilian Symposium on Multimedia and the Web, Belo Horizonte, 2010, pp. 219-226.