DIANA: an intermediate language for Ada - Goos, Gerhard (Lecture Notes in Computer Science ;, 1983)