“Hill-Type Formula and Krein-Type Trace Formula for Hamiltonian Systems” (2022) Analysis in Theory and Applications, 37(1), pp. 74–101. doi:10.4208/ata.2021.pr80.09.