Informal verification of correctness of the scanner module of an interpreter program - Jones, James Noel (Kansas State University, 1975)
Digitized by Kansas Correctional Industries
Keywords: Programming languages (Electronic computers); INTERP-700 (Computer program language)