Machine generated authority record.

Work cat.: (Co-BoUCM)307347: Lewis, Harry R. 90359, Elements of the theory of computation, 1998