Bayesian Estimation of Species Trees works with Mr Bayes (see below).