[yuanshan]

There is an open abstract algebra book that is similar, also rendered by pretextbook framework.

http://abstract.pugetsound.edu/aata/aata.html