Title: Study of on-line computing facilities in the control of a university library book circulation system