Lindstrom made numerous contributions to areas of data management, verification, and programming language design, specification and implementation.
Lindstrom made significant contributions to data management, validation, and programming language design, definition, and development.