Fan de ji shi ji 7 juan - Fan, Peng 1272-1330; Wu, Lai 1297-1340 (Si bu cong kan chu bian suo ben, 1936)