Dan A. Simovici
University of Miami, Coral Gables, Fla.
Formal languages
Theory of Computation
The SNOBOL 4 programming language