DIANA: an intermediate language for Ada - Goos, Gerhard (Springer Verlag, 1983)