Theoretical studies in computer science (Academic Press, 1992)