Purna Pugar Candi Borobudur (Jakarta: Deppen, 1983)