"Programming Languages and Systems, 9th European Symposium on Programming, ..."

Gert Smolka (2000)
a service of Schloss Dagstuhl - Leibniz Center for Informatics