E. Bartl, “Knuth’s Christmas trees”, MFI, vol. 30, no. 1, pp. 59–73, Feb. 2021.