Formal definition of programming languages, with an application to the definition of ALGOL 60 | lit.salon