Stav dette: Formal specification of programming languages :