Theoretical found. of programming methodology by