In program transformation, a transformation which is not obvious or easy to define as an algorithm.
(08 Dec 1994)