Ordinal algebras - Tarski, Alfred (North-Holland, 1956)