Dezani-Ciancaglini, Giannini, Troina, 2009. A Type System for a Stochastic CLS 11.. https://doi.org/10.4204/eptcs.11.6