Time Bounded Random Access Machines with Parallel Processing. - Walter J. Savitch; Michael J. Stimson (J. ACM, 1979)