Introduction to higher algebra - Mostowski, A (1964)