Ian D. Sanders, Colin Pilkington, Laurette Pretorius: Making research methodologies in theoretical computing explicit. S. Afr. Comput. J. 34(1) (2022)