Applied computation theory: analysis, design, modeling (Prentice-Hall, Inc, 1976)