Bayesian Methods for Hackers : An intro to Bayesian methods + probabilistic programming with a computation/understanding-first, mathematics-second point of view.
M. Kwiatkowska, G. Norman, and D. Parker. Computer Performance Evaluation: Modelling Techniques and Tools, page 200--204. Berlin, Heidelberg, Springer Berlin Heidelberg, (2002)