Esop '88 2nd European Symposium on Programming. Nancy, France, March 21-24, 1988. Proceedings - Ganzinger, Harald (Lecture Notes in Computer Science Ser.)