Rodrigo Costa Mesquita Santos, Thiago Alencar Gomes, Roberto Gerson Albuquerque Azevedo, Carlos de Salles Soares Neto, and Mario Meireles Teixeira. 2010. Correção de Código Semi-Automática em Nested Context Language. In Proceedings of the 16th Brazilian Symposium on Multimedia and the Web, outubro 05, 2010, Belo Horizonte, Brasil. SBC, Porto Alegre, Brasil, 219-226.