Source : Free On-Line Dictionary of Computing

Eureka step
     
        In {program transformation}, a transformation which is not
        obvious or easy to define as an {algorithm}.
     
        (1994-12-08)