Copy and paste this link:
http://journals.cambridge.org/action/displayAbstract?aid=331531
Copy and paste this citation
RICHARD BIRD
and SHIN-CHENG MU
(2005).
Countdown: A case study in origami programming. Journal of Functional Programming, 15
,
pp 679-702
doi:10.1017/S0956796805005642