Method and notation for the formal definition of programming languages | lit.salon