Tetsuro YOKOYAMA, Zhenjiang HU and Masato TAKEICHI, Yicho: A System for Programming Program Calculations, 14pp., June 2002.