Title: Formal definition of programming languages, with an application to the definition of ALGOL 60