ฉันมีประสบการณ์ในทางปฏิบัติที่ดีกับการสุ่มตัวอย่าง Metropolis-Hastings และ Gibbs แต่ฉันต้องการทำความเข้าใจทางคณิตศาสตร์ของอัลกอริทึมเหล่านี้ให้ดีขึ้น หนังสือหรือบทความดี ๆ อะไรบ้างที่พิสูจน์ความถูกต้องของตัวอย่างเหล่านี้ (อัลกอริธึมที่มากกว่านั้นก็ยอดเยี่ยมเช่นกัน)?