The countdown problem.

Published in: J. Funct. Program. (2002)