Mathematical structures for computer science Mathematical structures for computer science 190 readers 1987