Uma abordagem unificada para especificar e checar restrições em múltiplas linguagens de programação por meio de um analisador estático no contexto de um juiz on-line - Santos, Kleber Tarcísio Oliveira (2018)