London, R. L. "A computer program for discovering and proving recognition rules for Backus Normal Form grammars"

(1964) Proceedings of the 19th ACM national conference January 1964  

Languages mentioned BNF {1959} Backus Naur Form