Machine generated authority record

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