Harald Ganzinger ESOP '88, 2nd European Symposium on Programming, Nancy, France, March 21-24, 1988, Proceedings ESOP Lecture Notes in Computer Science 300 Springer 1988 3-540-19027-9 db/conf/esop/esop88.html