Mário Zenha Rela: Detecção de Erros Baseada na Semântica dos Dados. University of Coimbra, Portugal 1996