Language hierarchies and interfaces : INTERNATIONAL SUMMER SCHOOL - Bauer, Friedrich L.; Samelson, K. (Lecture Notes in Computer Science ;, 1976)