Refunctionalization at work.

Published in: Sci. Comput. Program. (2009)