Theory of algorithms (North-Holland, 1985)