Towards a Formal Definition of the Control in Structured Programs