Ao ser abordado o tema de automação de bibliotecas, um dos tópicos mais importantes é a escolha do software para catalogação. Dentre as seguintes alternativas, qual a única que apresenta um exemplo de software proprietário para catalogação de materiais bibliográficos em bibliotecas?