《周书·列传·卷三十六》
当大军束征时，司马裔率领所部参加迎面战役，又另外攻打坏昼，擒获其将呈盐扭。
及大军东征，裔率所部从战河桥，又别攻怀县，获其将吴辅叔。
When the army was attacking the west, Sima Yi led his troops to participate in the frontal battle, and also attacked Huai Zhou separately, capturing his general Cheng Yanniu.