Text this: Algebraic foundations in computer science :