“...Texts in theoretical computer science. an EATCS series ;...”