Theoretical studies in computer science / - Ullman, Jeffrey D. (Academic Press, 1992)