Seol mar théacs é seo: Brevity of notation in Dewey decimal classification /