Tenho uma experiência prática bastante boa com amostragem de Metropolis-Hastings e Gibbs, mas quero obter uma melhor compreensão matemática desses algoritmos. Quais são alguns bons livros ou artigos que provam a exatidão desses amostradores (mais algoritmos também seriam ótimos)?