This page has moved to http://blog.ploeh.dk/2009/03/03/DerivedValuesEnsureExecutableSpecification.