Models of computation : exploring the power of computing /
Savage, John E.
Reading, Mass. ; Harlow : Addison-Wesley,
c1998.
Includes bibliographical references and index
Computer science.
System analysis.