The complexity of decision problems in in automata theory and logic (1974)

by L J Stockmeyer
Venue:Ph.D. Thesis, MIT Project MAC, TR-133