Zhenjiang HU and Masato TAKEICHI, Calculation Carrying Programs, 23pp., September 1999.