Gi - 3 Fachtagung Nber Programmiersprachen - Schlender, B. (Lecture Notes in Computer Science Ser.)