Definitive programming : a paradigm for exploratory programming. - Simon Yun Pui Yung (1992)