Lecture Notes in Computer Science : An Intermediate Language for Ada (1983)