Reasoning about probabilistic sequential programs in a probabilistic logic.

Mingsheng Ying Reasoning about probabilistic sequential programs in a probabilistic logic. 315-389 2003 39 Acta Inf. 5 http://dx.doi.org/10.1007/s00236-003-0113-z db/journals/acta/acta39.html#Ying03