Xijun Hu, Yuwei Ou, Penghui Wang & Hao Zhu. (1970). Hill-Type Formula and Krein-Type Trace Formula for Hamiltonian Systems. Analysis in Theory and Applications. 37 (1). 74-101. doi:10.4208/ata.2021.pr80.09