On the formal description of PL/I - Lucas, P. (Pergamon Press, 1970)