An extended arithmetic of ordinal numbers (1969)

by J Doner, A Tarski
Venue:Fundamenta Mathematica