This book is a revised edition of the monograph which appeared under the same title in the series Research Notes in Theoretical Computer Science, Pit- man, in 1986. In addition to a general effort to improve typography, English, and presentation, the main novelty of this second edition is the integration of some new material. Part of it is mine (mostly jointly with coauthors). Here is brief guide to these additions. I have augmented the account of...