Machine generated authority record

Work cat.: (OSt)271808: Castilho, José Mauro Volkmer de 205335, Especificaçoes Formais e Sistemas de Bancos de Dados