Systems of ordinal diagrams (1996)

by T Arai