Graham Hutton: Fold and Unfold for Program Semantics. ICFP 1998: 280-288