Introduction to Abstract Algebra, 4th Edition
- Length: 560 pages
- Publication Date: 2012-03-20
Linear Algebra and Geometry
- Length: 547 pages
- Publication Date: 2012-08-24
Foundations of Algebraic Specification and Formal Software Development
- Length: 597 pages
- Publication Date: 2012-01-03