Author: International Workshop on Semantics of Programming Languages Honnef 1977.