Hongfei Fu, Krishnendu Chatterjee: Termination of Nondeterministic Probabilistic Programs. VMCAI 2019: 468-490