Dausmann, Manfred, et al. "Preliminary AIDA Reference Manual" Universitat Karlsruhe UK AIda-04 Feb 1980
(1980)
Languages mentioned
AIDA
{1980} intermediate representation language for Ada