Manual on the use of the Dewey decimal classification: Edition 19 (New York, 1982)