Author: Philip Hartmanis