Keep expanding power(a,b) until you satisfy your base case to break the recursion (i.e. the second argument is 0):
power (2,3) becomes
2 * power (2, 2) becomes
2 * 2 * power (2,1) becomes
2 * 2 * 2 * power (2,0) becomes
2 * 2 * 2 * 1 (why 1? because we've hit our base case, where the second arg is 0)