EATCS monographs on theoretical computer science