Language Hierarchies and Interfaces International Summer School - Bauer, F.L. (Lecture Notes in Computer Science Ser.)