题名	责任者	出版社	索书号
交互式马尔可夫链:并发系统的设计、验证与评价	吴尽昭, 王永祥, 覃广平著	科学出版社	O211.62/6076
Markov过程导论	Daniel W. Stroock著	高等教育出版社	O211.62/9335