Online catalogs in ARL libraries. (Association of Research Libraries, Office of Management Studies, 1983)