Representations and Modeling in Problems of Program Formation