Varacca, D., H. Völzer, and G. Winskel. “Probabilistic Event Structures and Domains”. BRICS Report Series, vol. 11, no. 10, June 2004, doi:10.7146/brics.v11i10.21835.