Dan Margalit, Joseph Rabinoff (edited by Trevor Hyde)
This book was authored in MathBook XML, with modifications by Rabinoff.