Books: Modern algebraic theories (sorted by popularity)