Tian gong kai wu yi zhu - Song, Yingxing 1587-1666 (Shanghai gu ji chu ban she, 1993)