元衍
『魏書』巻19上 列伝第7上
『北史』巻17 列伝第5