On the formal description of PL/1 - Lucas, P.; Walk, Kurt (Pergamon Press, 1970)