Bayesian Methods for Hackers : An intro to Bayesian methods + probabilistic programming with a computation/understanding-first, mathematics-second point of view.
D. Jansen, H. Hermanns, and J. Katoen. Intl. Symp. on Formal Techniques in Real-Time and Fault-Tolerant Systems, page 355--374. Springer, (September 2002)
S. Basu, M. Bilenko, and R. Mooney. Proceedings of the tenth ACM SIGKDD international conference on Knowledge discovery and data mining, page 59--68. New York, NY, USA, ACM, (2004)
W. Greiff. Proceedings of the 21st annual international ACM SIGIR conference on Research and development in information retrieval, page 11-19. Melbourne Australia, (1998)