Dexter Kozen, Radu Mardare, Prakash Panangaden: A Metrized Duality Theorem for Markov Processes. MFPS 2014: 211-227