Mathematical structures for computer science / - Gersting, Judith L. (W.H. Freeman,, 1982)