A HEURISTIC PROGRAMMING STUDY OF THEORY FORMATION IN SCIENCE