"Yicho - A System for Programming Program Calculations."

Tetsuo Yokoyama, Zhenjiang Hu, Masato Takeichi (2002)
a service of Schloss Dagstuhl - Leibniz Center for Informatics