Jian zhu gong cheng yu suan ding e (Ji ben jian she chu ban she, 1956)