David E. Sparks

• A machine interpretable format for library cataloging
• A methodology for the analysis of information systems
• Output printing for library mechanization