DIANA : an intermediate language for ADA - Goos, Gerhard, 1937- (Lecture notes in computer science, 1983)