“Hill-Type Formula and Krein-Type Trace Formula for Hamiltonian Systems”, ATA, vol. 37, no. 1, pp. 74–101, Dec. 2022, doi: 10.4208/ata.2021.pr80.09.