Prof. Fateman's favorite language is Lisp... An excellent text on Lisp is Paul Graham's ANSI Common Lisp. The nitty gritty details of our local system may be found starting with this Introduction to Allegro Common Lisp. TextBridge and Caere commercial OCR toolkits can be used from Lisp as well as C-like languages.