ESOP 86 : European symposium on programming ; Saarbrücken, Fed. rep. of Germany, March, 17 - 19, 1986 - Dam, Mads, 1955- (Lecture notes in computer science ;, 1986)