Reasoning about probabilistic sequential programs in a probabilistic logic M. Ying Original article Pages: 315 - 389