《水经注·卷三十九》
又往北流过县西。郴县有绿水，发源于县东侠公山，往西北流，然后向南转弯注入耒水，称为程乡溪。
又北过其县之西，县有渌水，出县东侠公山。 西北流，而南屈注于耒，谓之程乡溪。
Flowing north again, passing west of the county. There is green water in Chenzhou County, which originates from Xia Gongshan Mountain in the east of the county, flows northwest, and then turns south and flows into Leishui River, known as Chengxiang Creek.