Comparing Two Functional Programming Systems - Hailpern, B (IEEE Transactions on Software Engineering)