AVAVT: I think is the solution here. Black can consider a or b (Black play anywhere else and White will play a to ruin Black's eye space)
After that are series of sente eye-stealing moves for White, and finally ruins Black's second eye.
The at include too many under-the-stone moves so it's quite hard to demonstrate here. But anyway I think Black's dead after