Title: Selected papers of the fourth European Symposium on Programming, February 26-28, 1992, Rennes, France