Algebra for Computer Science (Universitext)