Mathematical structures for computer science by Judith L. Gersting · Bookplated