Cognitive computation: A Bayesian machine case study
Church: a language for generative models