On the nonexistence of a phrase structure grammar for ALGOL 60
Robert W. Floyd · Communications of the ACM · 1962
ALGOL 60 is defined partly by formal mechanisms of phrase structure grammar, partly by informally stated restrictions. It is shown that no formal mechanisms of the type used are sufficient to define ALGOL 60.