Formal Definition of Programming Languages and Systems