An Introduction to the General Theory of Algorithms (1978)

by M Machtey, P Young