《水经注·卷十二》
沫水又往东北流到紫石溪口，与紫水汇合。紫水发源于圣人城北边的大亘山下，在东南流，在左岸汇合磊柯溪水。大概从前此处发生山崩，塌下的乱石堆满溪涧，所以溪水也就因此而得名了。
涞水又东北历紫石溪口与紫水合，水北出圣人城北大亘下，东南流，左会磊砢溪水，盖山崩委涧，积石沦隍，故溪涧受其名矣。
Mo Shui flows northeast to Zishixi Estuary and merges with Zishui. Zishui originates from under the Dasheng Mountain north of Shengren City. It flows southeast and merges with Leihe River on the left bank. It is probably because there was a landslide here before, and the fallen rocks filled the creek, so the creek was named after it.