Text this: Formal specification of programming languages