《后汉书·列传·吴盖陈臧列传》
进军攻拔绵竹，破涪城，斩公孙述弟公孙恢，再攻拔繁县、郫县。
进拔绵竹，破涪城，斩公孙述弟恢，复攻拔繁、郫。
They advanced to attack and capture Mianzhu, break Fucheng, kill Gongsun Shu's brother Gongsun Hui, and then attack and capture Fan County and Pixian.