Design and implementation of programming languages. DoD sponsored workshop, Ithaca 1976. (Lecture Notes in computer science, 1977)