Computation (1997)

by M Sipser
Venue:Computing