Applied computation theory by Raymond Tzuu-Yau Yeh