Csendes Tibor;  Garay Barnabás;  Bánhelyi Balázs: A verified optimization technique to locate chaotic regions of Hénon systems.
  JOURNAL OF GLOBAL OPTIMIZATION, 35 (1).  pp. 145-160.  ISSN 0925-5001 (2006)