2021. The Calculus of Generating Functions and the Formal Energy for Hamiltonian Algorithms. Journal of Computational Mathematics. 16, 6 (Jul. 2021), 481–498.