ESOP 86 : European Symposium on Programming, Saarbrücken, Federal Republic of Germany, March 17-19, 1986 : proceedings - Robinet, B. (Bernard), 1941-; Wilhelm, R. (Reinhard), 1946- (Lecture notes in computer science, 1986)