Where is "Hutton's Razor" first defined?

Question

Hutton's Razor is a trivial expression language with constants and addition:

data HR = Const Int          | HR :+: HR  eval :: HR -> Int eval (Const n)   = n eval (e1 :+: e2) = eval e1 + eval e2  

It appears in many programming examples on the web, e.g. [1,2,3,4]. Does anyone know where it's first defined, maybe by Graham Hutton in a paper?

Answer 1

The earliest mention I can find is in 1998, in Section 2.1 of Hutton's Fold and Unfold for Program Semantics.