Kang Feng. (1970). The Calculus of Generating Functions and the Formal Energy for Hamiltonian Algorithms. Journal of Computational Mathematics. 16 (6). 481-498. doi: