Lee, J.A.N. "The formal definition of the BASIC language"

(1972) The Computer Journal 15(1) February 1972  

Languages mentioned BASIC {1963} Beginners All-purpose Symbolic Instruction Code Dartmouth BASIC {1964}