Step-optimal implementations of large single-writer registers. - Tian Ze Chen; Yuanhao Wei (Theor. Comput. Sci., 2020)