User blog comment:Googology Noob/Ordinal FGH, with an actual definition!/@comment-26428969-20160101121539/@comment-1605058-20160101123420

Let me provide an original reference.