Text this: Computer science, a mathematical introduction :