Title: Esop '92: 4th European Symposium on Programming Rennes, France, February 26-28, 1992