CMU, 1980. An intermediate representation for Ada, was merged

with AIDA to form Diana. "TCOL.Ada: Revised Report on an

Intermediate Representation for the DOD Standard Programming

Language", J.M. Newcomer et al, CMU-CS-79-128 (June 1979).