Metropolis-Hastings ve Gibbs örneklemesinde oldukça iyi bir pratik deneyimim var, ancak bu algoritmaları daha iyi matematiksel olarak anlamak istiyorum. Bu örnekleyicilerin doğruluğunu kanıtlayan bazı iyi ders kitapları veya makaleler nelerdir (daha fazla algoritma da harika olurdu)?