1. Agha, G., Meseguer, J., Sen, K.: PMaude: Rewrite-based Specification Language for Probabilistic Object Systems. ENTCS 153(2), 213–239 (2006)
2. Di Pierro, A., Hankin, C., Wiklicky, H.: Probabilistic λ-calculus and Quantitative Program Analysis. Journal of Logic and Computation 15(2) (2005)
3. Haghighi, H., Mirian-Hosseinabadi, S.H.: An Approach to Nondeterminism in Translation of CZ Set Theory into Type Theory. In: FSEN 2005. ENTCS, vol. 159 (2006)
4. Haghighi, H., Mirian-Hosseinabadi, S.H.: Nondeterminism in Constructive Z. Fundamenta Informaticae 88(1-2), 109–134 (2008)
5. Haghighi, H.: Nondeterminism in CZ Specification Language. Ph.D. dissertation, Sharif Univ. of Technology, Iran (2009)