P. Lucas/K. Walk: On the formal description of PL/1.
Ann. Rev. Autom. Progr. 6/3 (1969), 105-181.