ESOP '92 : 4th European Symposium on Programming, Rennes, France, February 26-28, 1992 : proceedings - Krieg-Brückner, B. (Bernd) (Lecture notes in computer science ;, 1992)