The normal form theorem - another proof

Derick Wood. The normal form theorem - another proof. Comput. J., 12(2):139-147, 1969. [doi]

Abstract

Abstract is missing.