Countdown: A Case Study in Origami Programming

Richard S. Bird and Shin-Cheng Mu

journal	Journal of Functional Programming
number	5
pages	679-702
volume	15
year	2005

people	Richard Bird
activities	Algebra of Programming