Diana past, present, and future -- The intermediate language Diana design and implementation -- A formal definition of Diana -- Dianette -- A pragmatic variant of Diana -- The design of air and its application to ada separate compilation -- The use of Diana in compilers, language transformers, formatters, and debuggers -- The DIANA interfacer -- Designing and testing interfaces for portable software: Ada TEXT_IO as an example -- Databases in software development: The Ada programming support environment -- The Toolpack/Ist approach to extensibility in software environments