Platform Independent Translations for a Compilable Ada Abstract Syntax. - Warren D. Ferguson; John K. Whiteman (TRI-Ada, 1993)