Alexander A. Sytnik and N. S. Vagarina
The Decision of a Goal-Directed Behavior Problem in a Class of Systems Described by one-to-one Transformations