《三國志．卷八．魏書．張魯傳》：「益州牧劉焉以魯為督義司馬，與別部司馬張脩，將兵擊漢中太守蘇固。」