Problem
1. Consider the operational and descriptive specifications of the sort operation given in this section. Are there ambiguities in these specifications? How are duplicate elements to be treated?
2. Give a more complete description of a library information system, including several other operations, such as returning or reserving a book or doing a bibliographic search. Then, refine the operations up to a level where all of them are explained in sufficient detail.