Biblioteca Nacional de la Dieta
El inventario fue clasificado por primera vez por la Clasificación Decimal Nippon (NDC) , una mezcla de Clasificación Decimal Dewey (DDC) y Clasificación Expansiva (EC), para medios japoneses y la DDC para medios occidentales. Desde entonces, se ha utilizado una clasificación separada completada en 1968 con el nombre National Diet Library Classification (BNDC) para la inclusión sistemática en la biblioteca y para su representación en la bibliografía nacional. El BNDC es alfanumérico (por ejemplo, matemáticas: MA95, X = álgebra; X = representación numérica de la muestra) y también lo utilizan algunas bibliotecas universitarias.
Library sort
Aquí, binarysearch("A", k) efectua búsqueda binaria en los primeros k elementos de "A" de la ubicación donde se insertará el elemento "A[j]", saltándose los vacíos. La inserción tendría que favorecer los vacíos sobre los ocupados.