Describe a recursive algorithm for multiplying two nonnegative integers x and y based on the fact that xy = 2(x · (y/2)) when y is even and xy = 2(x · [y/2]) + x when y is odd, together with the initial condition xy = 0 when y = 0.