Smolka, Gert

Programming Languages and Systems: 9th European Symposium on Programming, ESOP 2000 Held as Part of the Joint European Conferences on Theory and … (Lecture Notes in Computer Science, 1782)