Historiographer: Strongly-Consistent Distributed Reactive Programming with Minimal Locking. - Julia Freeman; Timothy Zhou (SPLASH Companion, 2023)