Hypothesis Formalization: Empirical Findings, Software Limitations, and Design Implications. - Eunice Jun; Melissa Birchfield; Nicole de Moura; Jeffrey Heer; René Just (ACM Trans. Comput. Hum. Interact., 2022)