"Foundations of Software Science and Computation Structures, 9th ..."

Luca Aceto, Anna Ingólfsdóttir (2006)
a service of Schloss Dagstuhl - Leibniz Center for Informatics