Applied Algebra for the Computer Sciences. | doi.page