On the formal description of PL/1 | lit.salon