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