Formal innovation criteria. - Kenneth A. Shelton; Tomasz Arciszewski (Int. J. Comput. Appl. Technol., 2007)