Applicable Theory in Computer Science

A Wiley — Teubner Series in Computer Science