Overlap reduction functions for pulsar timing arrays and astrometry - Keisuke Inomata; Marc Kamionkowski; Celia M. Toral; Stephen R. Taylor (2024)