Categories and Computer Science (Cambridge Computer Science Texts)