Tian gong kai wu zhu shi / - Song, Yingxing, (Ke xue chu ban she,, 1976)