1. Statistical Analyses and Methods in the Published Literature: The SAMPL Guidelines;Lang,2014
2. The ASA statement on p-values: context, process, and purpose;Wasserstein;Am. Stat.,2016
3. Formalizing statistical beliefs in hypothesis testing using program logic;Kawamoto,2021
4. An axiomatic basis for computer programming;Hoare;Commun. ACM,1969
5. The Formal Semantics of Programming Languages—An Introduction;Winskel,1993