User instructions for online catalogs in ARL libraries (SPEC kit ;, 1983)