E. Aarts and J. Korst, Simulated Annealing and Boltzmann Machines, 1989.

D. Pierro, A. Hankin, C. Wiklicky, and H. , Continuous-Time Probabilistic KLAIM, Electronic Notes in Theoretical Computer Science, vol.128, issue.5, 2004.
DOI : 10.1016/j.entcs.2004.11.040

D. Pierro, A. Hankin, C. Wiklicky, and H. , A Systematic Approach to Probabilistic Pointer Analysis, Proceedings of APLAS'07, pp.335-350
DOI : 10.1007/978-3-540-76637-7_23

D. Pierro, A. Hankin, C. Wiklicky, and H. , Probabilistic semantics and analysis, Formal Methods for Quantitative Aspects of Programming Languages, pp.1-42, 2010.

D. Pierro, A. Sotin, P. Wiklicky, and H. , Relational Analysis and Precision via Probabilistic Abstract Interpretation, Proceedings of QAPL'08. ENTCS, pp.23-42, 2008.
DOI : 10.1016/j.entcs.2008.11.017

D. Pierro, A. Wiklicky, and H. , Semantics of Probabilistic Programs: A Weak Limit Approach, Proceedings of APLAS'13, pp.241-256, 2013.
DOI : 10.1007/978-3-319-03542-0_18

J. W. Eaton, D. Bateman, and S. Hauberg, GNU Octave ? A high-level interactive language for numerical computations, 2011.

F. Gretz, J. P. Katoen, and A. Mciver, Operational Versus Weakest Precondition Semantics for the Probabilistic Guarded Command Language, 2012 Ninth International Conference on Quantitative Evaluation of Systems, pp.168-177, 2012.
DOI : 10.1109/QEST.2012.21

F. Gretz, J. P. Katoen, and A. Mciver, Operational versus weakest pre-expectation semantics for the probabilistic guarded command language, Performance Evaluation, vol.73, pp.110-132, 2014.
DOI : 10.1016/j.peva.2013.11.004

D. Kozen, Semantics of probabilistic programs, Journal of Computer and System Sciences, vol.22, issue.3, pp.328-350, 1981.
DOI : 10.1016/0022-0000(81)90036-2

URL : https://doi.org/10.1016/0022-0000(81)90036-2

A. Mciver and C. Morgan, Abstraction, Refinement and Proof for Probabilistic Systems, Mongraphs in Computer Science, 2005.

R. Motwani and P. Raghavan, Randomized Algorithms, 1995.

F. Nielson, H. R. Nielson, and C. Hankin, Principles of Program Analysis, 1999.
DOI : 10.1007/978-3-662-03811-6

URL : http://www.seas.harvard.edu/courses/cs252/2011sp/slides/Lec11-AbstractInt.pdf

S. Roman, Advanced Linear Algebra, 2005.

J. J. Schneider and S. Kirkpatrick, Stochastic Optimization, 2006.

E. Seneta, Non-negative Matrices and Markov Chains, 1981.
DOI : 10.1007/0-387-32792-4

M. Stannett, X-machines and the halting problem: Building a super-turing machine, Formal Aspects of Computing, vol.3, issue.2, pp.331-372, 1990.
DOI : 10.1007/BF01888233

W. Woess, Denumerable Markov Chains, EMS, 2009.
DOI : 10.4171/071