Mathematical structures for computer science - Gersting, Judith L. (A Series of Books in the Mathematical Sciences., 1987)