G Goos

• Diana: An Intermediate Language for Ada (Lecture notes in computer science)