European Symposium on Programming (1st 1986 Saarbrücken, Germany)