Declarative modelling for Bayesian inference by shallow embedding. - Henrik Nilsson; Thomas A. Nielsen (EOOLT, 2014)