Dewey Decimal Classification, 2023 (Introduction, Manual, Tables,