Timing
------

[4]  Motivation 
                        <------------------ 4 
[8]  Refinements
                        <------------------ 12 
[8]  Measures
                        <------------------ 20 
[8]  Higher-Order Functions
                        <------------------ 28 
[5] Abstract Refinements: 
[8]   Code, 
[8]   Data,...,...
                        <------------------ 49
[4] Lazy Evaluation
[5] Termination
                        <------------------ 58 
[3] Evaluation
                        <------------------ 61