Higher algebra - Hall, H S (1990)