Mathematical structures for computer science

作者: Judith L. Gersting