Programming languages and systems: proceedings by ESOP, Saarbrücken, ETAPS,, Saarbrücken fromLecture Notes in Computer Science 0 Type: Book