Studies in Computer Science (Studies in mathematics)