Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics, 1990

a service of Schloss Dagstuhl - Leibniz Center for Informatics