经名：纯阳帝君神化妙通纪。七卷。兀苗时善编。底本出处：《正统道藏》洞真鄱记传类。

经名：玄教大公案。元苗善时（字太素）撰，门弟子王志道编集。二卷。底本出处：《正统道藏》 太玄部。