部类待考乐山县志·嘉州程公洞题名〔宋〕张方程公洞题名云：‘程公望寓白岩院注《易》，苏文公尝携二子过之。’永嘉陈公谦题曰：‘程公洞于清风朝霞之间’。后十八年，石泐字刓，资中张方祥刑，暇日访古，惟白云洞苍邃可避暑，仍大书刻之。嘉定十五年六月二十五日。