A Central Limit Theorem for Counting Functions Related to Symplectic Lattices and Bounded Sets - Kristian Holm (2022)