Title: Bibliographic automation of large library operations using a time-sharing system (Project BALLOTS)