No campo da automação de bibliotecas, diversos sistemas de informação automatizados são amplamente utilizados tanto em nível nacional quanto internacional. Considerando esses sistemas, qual das alternativas a seguir descreve CORRETAMENTE um dos principais sistemas de informação automatizados usados em bibliotecas?