Yuan jian lei han 450 juan, mu lu 4 juan - Zhang, Ying 1638-1708 (1710)