McIver, A; Morgan, C; Kaminski, BL; Katoen, J-P; (2018) A New Proof Rule for Almost-Sure Termination. In: Proceedings of the ACM on Programming Languages. (pp. p. 33). ACM: Los Angeles, California, USA.