Computerized support system for storing, sorting and retrieving bibliographic information: an application of automata theory for syntax checking