Note on the proof of the non-existence of a phrase structure grammar for ALGOL 60

From MaRDI portal
Publication:5719682