Title: On the formal description of PL/1