A procedural model for the use of bibliographic records in libraries