Title: Method and notation for the formal definition of programming languages