Trends in theoretical computer science - Borger, Egon ed (Computer Science Press, 1988)