Yicho: A system for programming program calculations (2002)

by T Yokoyama, Z Hu, M Takeichi