Abkürzung von OCLC PICA, Integriertes Bibliothekssystem der Firma OCLC