Jacobs, et al.. The Expectation Monad in Quantum Foundations. Elsevier BV, 2016, doi:10.1016/j.ic.2016.02.009.