Ich habe ziemlich gute praktische Erfahrungen mit Metropolis-Hastings- und Gibbs-Sampling, aber ich möchte ein besseres mathematisches Verständnis dieser Algorithmen erhalten. Was sind einige gute Lehrbücher oder Artikel, die die Richtigkeit dieser Sampler beweisen (mehr Algorithmen wären auch großartig)?