Trends in theoretical computer Science - Borger., E.. (Computer Science Press, 1988)
Index.