Bernd Krieg-Brückner ESOP '92, 4th European Symposium on Programming, Rennes, France, February 26-28, 1992, Proceedings ESOP Lecture Notes in Computer Science 582 Springer 1992 3-540-55253-7 db/conf/esop/esop92.html