G. Barthe, Th. Espitau, L. María Ferrer Fioriti, J. Hsu : “Synthesizing Probabilistic Invariants via Doob's Decomposition”, Computer Aided Verification 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, vol. 9779, Lecture Notes in Computer Science, Toronto, Canada, pp. 43-61, (Springer) [Barthe 2016]