Book Thinking Recursively Algorithms 1986