Title: The Algebra of Programming
Subjects: Computer algorithms, Computer programming, Programming (Mathematics), Computer science, mathematics, Logic, symbolic and mathematical, Algebra, abstract