Formal language articles