Mechanizing a Large Index

M. A. Wright. Mechanizing a Large Index. Comput. J., 3(2):76-83, 1960. [doi]

Abstract

Abstract is missing.