四庫全書
In addition, carrying on with the work of his predecessor, the Portuguese Jesuit Tomas Pereira, Pedrini completed the text of the first treatise on Western music theory ever published in China, the "LǜlǚZhèngyì-Xùbiān", which was later included in the huge encyclopedic work called "Siku Quanshu" (1781).