Formal definition of programming languages | lit.salon