O bibliotecário, ao planejar a automação da biblioteca em que atua, tem a possibilidade de escolher entre softwares livres e proprietários. Qual das opções a seguir traz um exemplo de software livre para automação de bibliotecas?